diff options
Diffstat (limited to 'priority_queue.h')
| -rw-r--r-- | priority_queue.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/priority_queue.h b/priority_queue.h index 2ac580e..63e9bbc 100644 --- a/priority_queue.h +++ b/priority_queue.h @@ -30,5 +30,6 @@ void ppq_reprioritize(PositionPQ *ppq, Position pos, size_t priority); void ppq_print(PositionPQ *ppq); +void ppq_free(PositionPQ *ppq); #endif /* PRIORITY_QUEUE_H_ */ |