Bug fix in priority_queue.cpp