diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.c')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/backendC/CleanCompilerSources/settings.c b/backendC/CleanCompilerSources/settings.c index b46894a..e98fb81 100644 --- a/backendC/CleanCompilerSources/settings.c +++ b/backendC/CleanCompilerSources/settings.c @@ -44,8 +44,6 @@ Bool StrictDoEager = True; Bool StrictDoVerbose = False; Bool StrictDoAnnots = True; -unsigned long StrictMemUse = NR_BLOCKS * BLOCK_SIZE; - Bool FunctionMayFailIsError = False; Bool NotUsedIsError = False; Bool FunctionNotUsedIsError = False; |