diff options
| -rw-r--r-- | backendC/CleanCompilerSources/sa.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/sa.c b/backendC/CleanCompilerSources/sa.c index 7e27750..179b75b 100644 --- a/backendC/CleanCompilerSources/sa.c +++ b/backendC/CleanCompilerSources/sa.c @@ -3035,7 +3035,11 @@ static void init_predefined_symbols (void) strict functions (for strict annots), lists (2), conditional (4) and the apply. Also for the two list functions if necessary. */ - nr_funs = MaxNodeArity + MaxNodeArity + MaxNrAnnots + 2 + 4 + 1; + nr_funs = MaxNodeArity + MaxNodeArity + MaxNrAnnots + 2 + 4 + 1 +#if STRICT_LISTS + +3 +#endif + ; if (StrictDoLists) nr_funs += 2; |