diff options
Diffstat (limited to 'src/options/options_handler.h')
-rw-r--r-- | src/options/options_handler.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index 9d5f8cc6e..eef4c9b61 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -146,7 +146,7 @@ public: SimplificationMode stringToSimplificationMode(std::string option, std::string optarg) throw(OptionException); SygusSolutionOutMode stringToSygusSolutionOutMode( std::string option, std::string optarg) throw(OptionException); - void setProduceAssertions(std::string option, bool value) throw(); + void setProduceAssertions(std::string option, bool value); void proofEnabledBuild(std::string option, bool value) throw(OptionException); void LFSCEnabledBuild(std::string option, bool value); void notifyDumpToFile(std::string option); |