diff options
Diffstat (limited to 'priority_queue.h')
| -rw-r--r-- | priority_queue.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/priority_queue.h b/priority_queue.h index f773475..1f54fff 100644 --- a/priority_queue.h +++ b/priority_queue.h @@ -28,10 +28,6 @@ Position ppq_pop(PositionPQ **ppq); /* Remove a given pos fron ppq */ void ppq_remove(PositionPQ **ppq, Position pos); -/* Change the priority of a given pos, moving it to a different place in the - * linked list ("POTENTIALLY NOT NEEDED" since we don't use different weights */ -void ppq_reprioritize(PositionPQ *ppq, Position pos, size_t priority); - void ppq_print(PositionPQ *ppq); void ppq_free(PositionPQ *ppq); |