diff options
| author | Marvin Borner | 2023-10-21 18:21:59 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-10-21 18:21:59 +0200 |
| commit | e8e99e934c3c7ac0861adf0ac59c08f15e42f450 (patch) | |
| tree | c85b4cf7e41835969ca28f0a2dd553bd7a78f340 /src/parse.c | |
| parent | acab739b55824f508dd61de9ab8ef91c18b1a086 (diff) | |
Started basic beta shift
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parse.c b/src/parse.c index e2d2498..b3840d3 100644 --- a/src/parse.c +++ b/src/parse.c @@ -22,7 +22,7 @@ static struct term_handle abs_blc(char **term, size_t depth) } else { res_term = term_new(res_type, res, depth); res_term->u.abs.term = inner.term; - // TODO: remove hash from map_set (already in term anyway) + // TODO: remove hash from map_set (already in term anyway)? map_set(map_all_terms(), res_term); } |