1 files changed, 0 insertions, 2 deletions

diff --git a/inc/map.h b/inc/map.h
index c66f850..3759a27 100644
--- a/inc/map.h
+++ b/inc/map.h
@@ -15,7 +15,5 @@ void map_delete(struct hashmap *map, struct term *term);
 void map_initialize(void);
 void map_destroy(struct hashmap *map);
 void map_dump(struct hashmap *map); // TODO: remove
-struct pqueue *map_to_pqueue(struct hashmap *map, pqueue_cmp_pri_f cmppri,
-			     pqueue_get_pri_f getpri, pqueue_set_pos_f set_pos);
 
 #endif