diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.h')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/settings.h b/backendC/CleanCompilerSources/settings.h index 0ae5751..572fca2 100644 --- a/backendC/CleanCompilerSources/settings.h +++ b/backendC/CleanCompilerSources/settings.h @@ -1,7 +1,6 @@ /* Compiler setttings - Note that changes are of influence for project.c !! */ extern Bool DoCode; /* not generated in abc file */ @@ -46,6 +45,4 @@ extern Bool StrictDoVerbose; extern Bool StrictDoAnnots; extern unsigned long StrictMemUse; -extern Bool VERBOSE; - -extern Bool FunctionMayFailIsError,NotUsedIsError,FunctionNotUsedIsError; +extern Bool FunctionMayFailIsError; |