Thu, 09 Jul 2009 02:39:47 +0200 Peter Kovacs Bug fix in PairingHeap::pop() (#301)