#include <queue>
  void pop();

The function pop() removes the top element of the priority queue and discards it.