Update pqueue.cpp