diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.h')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/settings.h b/backendC/CleanCompilerSources/settings.h index 572fca2..6fdd495 100644 --- a/backendC/CleanCompilerSources/settings.h +++ b/backendC/CleanCompilerSources/settings.h @@ -43,6 +43,5 @@ extern Bool StrictDoLessEqual; extern Bool StrictDoEager; extern Bool StrictDoVerbose; extern Bool StrictDoAnnots; -extern unsigned long StrictMemUse; extern Bool FunctionMayFailIsError; |