checkpoint

1 files changed, 2 insertions, 0 deletions

diff --git a/inc/map.h b/inc/map.h
index 790d42f..53b0c98 100644
--- a/inc/map.h
+++ b/inc/map.h
@@ -9,8 +9,10 @@
 
 struct term *map_get(hash_t hash);
 void map_set(struct term *term, hash_t hash);
+void map_delete(struct term *term);
 void map_initialize(void);
 void map_destroy(void);
+void map_dump(void); // TODO: remove
 struct pqueue *map_to_pqueue(pqueue_cmp_pri_f cmppri, pqueue_get_pri_f getpri,
 			     pqueue_set_pos_f set_pos);