diff options
author | Marvin Borner | 2023-06-07 13:29:21 +0200 |
---|---|---|
committer | Marvin Borner | 2023-06-07 13:29:21 +0200 |
commit | ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd (patch) | |
tree | 7e69f60faedf2ad1ffcbdf4e61d318a8ce8bbc7c /src/parse.c | |
parent | 4b5200630ad55d2fd84ab71ad766fea81b1eaafe (diff) |
Removed parenting
I think reducing should work without parenting.. I'm not sure though.
I'm confused.
Diffstat (limited to 'src/parse.c')
-rw-r--r-- | src/parse.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/parse.c b/src/parse.c index e2d2498..f4ec69c 100644 --- a/src/parse.c +++ b/src/parse.c @@ -26,7 +26,6 @@ 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 }; } @@ -49,9 +48,6 @@ 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 }; } |