diff options
| author | Marvin Borner | 2023-02-01 13:28:46 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-01 13:28:46 +0100 |
| commit | a102dee0afa719fdbb555c30733e4758556f1d45 (patch) | |
| tree | b89691c2ea0ca51403335ff5861c0df4f7ee406f /inc/term.h | |
| parent | d3fb1c84f80fba578f5508efd660c7cfe8c09e60 (diff) | |
Transition rules
Diffstat (limited to 'inc/term.h')
| -rw-r--r-- | inc/term.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ struct term { } app; struct { int name; - enum { BRUIJN_INDEX, BARENDREGT_VARIABLE } type; + enum { BARENDREGT_VARIABLE, BRUIJN_INDEX } type; } var; void *other; } u; |