void pop();

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