diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.h')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/settings.h b/backendC/CleanCompilerSources/settings.h index a8234a2..0ae5751 100644 --- a/backendC/CleanCompilerSources/settings.h +++ b/backendC/CleanCompilerSources/settings.h @@ -22,6 +22,7 @@ extern Bool DoDescriptors; /* not generated in abc file */ extern Bool ListOptimizations; extern Bool ExportLocalLabels; +extern Bool AddStrictnessToExportedFunctionTypes; extern Bool DoProfiling; extern Bool DoTimeProfiling; |