diff options
Diffstat (limited to 'backendC/CleanCompilerSources/syntaxtr.t')
| -rw-r--r-- | backendC/CleanCompilerSources/syntaxtr.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/syntaxtr.t b/backendC/CleanCompilerSources/syntaxtr.t index 0c1d4a9..4c1589c 100644 --- a/backendC/CleanCompilerSources/syntaxtr.t +++ b/backendC/CleanCompilerSources/syntaxtr.t @@ -72,7 +72,7 @@ typedef enum { #endif Nr_Of_Predef_Types, tuple_symb, cons_symb, nil_symb, - apply_symb, if_symb, fail_symb, all_symb, + apply_symb, if_symb, fail_symb, seq_symb, select_symb, Nr_Of_Predef_FunsOrConses, definition, newsymbol, instance_symb, empty_symbol, field_symbol_list, |