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 /inc | |
parent | 9bc17a207a9d5c65509a51f57412c8e28b843330 (diff) |
More testingHEADaggressive
Diffstat (limited to 'inc')
-rw-r--r-- | inc/term.h | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -24,7 +24,6 @@ struct term { union { struct { struct term *term; - char bound; } abs; struct { struct term *lhs; |