1 files changed, 3 insertions, 0 deletions

diff --git a/inc/map.h b/inc/map.h
index 427cee5..790d42f 100644
--- a/inc/map.h
+++ b/inc/map.h
@@ -5,10 +5,13 @@
 #define CALM_MAP_H
 
 #include <lib/hash.h>
+#include <lib/pqueue.h>
 
 struct term *map_get(hash_t hash);
 void map_set(struct term *term, hash_t hash);
 void map_initialize(void);
 void map_destroy(void);
+struct pqueue *map_to_pqueue(pqueue_cmp_pri_f cmppri, pqueue_get_pri_f getpri,
+			     pqueue_set_pos_f set_pos);
 
 #endif