Forgot to add new terms to map

1 files changed, 2 insertions, 0 deletions

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;
 	}
 }