diff options
| author | johnvg | 2001-09-03 12:49:22 +0000 |
|---|---|---|
| committer | johnvg | 2001-09-03 12:49:22 +0000 |
| commit | 4e9e2af83c59b145ffe1b40da336a18584f47b2e (patch) | |
| tree | ecc654731a5735a6e6686d8188cad7906c2ff321 /backendC | |
| parent | added init_identifiers call (diff) | |
fix memory allocation bug
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@731 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC')
| -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; |