From bc9c636a4768ded2726f54fa15b296eef992ae97 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 29 May 2023 16:56:23 +0200
Subject: Forgot to add new terms to map

---
 src/term.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/term.c b/src/term.c
index d52171a..64c58e8 100644
--- a/src/term.c
+++ b/src/term.c
@@ -64,6 +64,7 @@ struct term *term_rehash_abs(struct term *head, struct term *term)
 		new->u.abs.term = term;
 		term_refer(term, head->depth + 1);
 		term_deref(head);
+		map_set(new, res);
 		return new;
 	}
 }
@@ -95,6 +96,7 @@ struct term *term_rehash_app(struct term *head, struct term *lhs,
 		if (head->u.app.rhs->hash != rhs->hash)
 			term_refer(rhs, head->depth + 1);
 		term_deref(head);
+		map_set(new, res);
 		return new;
 	}
 }
-- 
cgit v1.2.3