diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.c')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/settings.c b/backendC/CleanCompilerSources/settings.c index 7fb3273..edebddb 100644 --- a/backendC/CleanCompilerSources/settings.c +++ b/backendC/CleanCompilerSources/settings.c @@ -47,7 +47,3 @@ Bool StrictDoVerbose = False; Bool StrictDoAnnots = True; Bool FunctionMayFailIsError = False; -Bool NotUsedIsError = False; -Bool FunctionNotUsedIsError = False; - -Bool VERBOSE = True; |