1 files changed, 0 insertions, 14 deletions
diff --git a/src/map.c b/src/map.c
index 1862c9c..327af8d 100644
--- a/src/map.c
+++ b/src/map.c
@@ -9,20 +9,6 @@
 
 static struct hashmap *all_terms;
 
-static void deref_term(struct term *term)
-{
-	if (term->type == ABS) {
-		deref_term(term->u.abs.term);
-	} else if (term->type == APP) {
-		deref_term(term->u.app.lhs);
-		deref_term(term->u.app.rhs);
-	}
-
-	// TODO: remove from hashmap?
-	if (--term->refs == 0)
-		free(term);
-}
-
 static void hashmap_free_term(void *item)
 {
 	struct term *term = *(struct term **)item;