diff options
Diffstat (limited to 'src/options/options_handler.h')
| -rw-r--r-- | src/options/options_handler.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index 16c77b166..923a87d3a 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -143,6 +143,7 @@ public: SimplificationMode stringToSimplificationMode(std::string option, std::string optarg) throw(OptionException); void setProduceAssertions(std::string option, bool value) throw(); void proofEnabledBuild(std::string option, bool value) throw(OptionException); + void LFSCEnabledBuild(std::string option, bool value); void notifyDumpToFile(std::string option); void notifySetRegularOutputChannel(std::string option); void notifySetDiagnosticOutputChannel(std::string option); |