diff options
author | Marvin Borner | 2023-11-15 14:25:31 +0100 |
---|---|---|
committer | Marvin Borner | 2023-11-15 14:25:31 +0100 |
commit | 8a192b734e468efb758bd7ae8d843cc02f024454 (patch) | |
tree | 5c4454c0048772d9f1bd27d55ede9cb16dfe733e /src/parse.c | |
parent | 9bc17a207a9d5c65509a51f57412c8e28b843330 (diff) |
More testingHEADaggressive
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 b3840d3..e2d2498 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); } |