aboutsummaryrefslogtreecommitdiff
path: root/inc
diff options
context:
space:
mode:
authorMarvin Borner2023-11-15 14:25:31 +0100
committerMarvin Borner2023-11-15 14:25:31 +0100
commit8a192b734e468efb758bd7ae8d843cc02f024454 (patch)
tree5c4454c0048772d9f1bd27d55ede9cb16dfe733e /inc
parent9bc17a207a9d5c65509a51f57412c8e28b843330 (diff)
More testingHEADaggressive
Diffstat (limited to 'inc')
-rw-r--r--inc/term.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/inc/term.h b/inc/term.h
index cea5278..35ed80d 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -24,7 +24,6 @@ struct term {
union {
struct {
struct term *term;
- char bound;
} abs;
struct {
struct term *lhs;