  The prime geodesic theorem for regular geodesics in a higher rank locally
symmetric space is proved. An application to class numbers is given. The proof
relies on a Lefschetz formula that is based on work of Andreas Juhl.
