2 files changed, 3 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);
 
diff --git a/inc/term.h b/inc/term.h
index 5256b3c..c94894d 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -34,6 +34,7 @@ struct term *term_rehash_app(struct term *head, struct term *lhs,
 
 void term_refer_head(struct term *term, size_t depth);
 void term_refer(struct term *term, size_t depth);
+void term_deref_head(struct term *term);
 void term_deref(struct term *term);
 
 void term_print(struct term *term);