priority_queue::allocator_type

typedef Cont::allocator_type allocator_type;

The type is a synonym for Cont::allocator_type.