aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/term.c2
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;
}
}