pop

Removes an element from a priority_queue.

  void pop();