From abf68e0ad6c9f6d6cd14693894c609faca925e22 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 27 May 2023 10:07:24 +0200
Subject: Moved term logic

---
 src/map.c | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'src/map.c')

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;
-- 
cgit v1.2.3