aboutsummaryrefslogtreecommitdiff
path: root/src/term.c
diff options
context:
space:
mode:
authorMarvin Borner2023-11-15 14:25:31 +0100
committerMarvin Borner2023-11-15 14:25:31 +0100
commit8a192b734e468efb758bd7ae8d843cc02f024454 (patch)
tree5c4454c0048772d9f1bd27d55ede9cb16dfe733e /src/term.c
parent9bc17a207a9d5c65509a51f57412c8e28b843330 (diff)
More testingHEADaggressive
Diffstat (limited to 'src/term.c')
-rw-r--r--src/term.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/term.c b/src/term.c
index 8329b85..bc347f2 100644
--- a/src/term.c
+++ b/src/term.c
@@ -111,6 +111,7 @@ struct term *term_rehash_abs(struct term *head, struct term *term,
}
// TODO: main problem is reparenting substitution tickle-up
+// TODO: investigate reparenting using gen.blc? ?!!?!
struct term *term_rehash_app(struct term *head, struct term *lhs,
struct term *rhs, int including_parents)
{