diff options
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parse.c b/src/parse.c index f4ec69c..e2d2498 100644 --- a/src/parse.c +++ b/src/parse.c @@ -26,6 +26,7 @@ static struct term_handle abs_blc(char **term, size_t depth) map_set(map_all_terms(), res_term); } + map_set(res_term->u.abs.term->parents, res_term); return (struct term_handle){ .term = res_term, .hash = res }; } @@ -48,6 +49,9 @@ static struct term_handle app_blc(char **term, size_t depth) map_set(map_all_terms(), res_term); } + map_set(res_term->u.app.lhs->parents, res_term); + map_set(res_term->u.app.rhs->parents, res_term); + return (struct term_handle){ .term = res_term, .hash = res }; } |