Closed cyderize closed 9 years ago
Use correct priority queue predicate, fix error in binary heap.
Fixes #341.
Use correct priority queue predicate, fix error in binary heap.
Fixes #341.