diff options
-rw-r--r-- | src/term.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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; } } |