diff options
Diffstat (limited to 'src/theory/logic_info.h')
-rw-r--r-- | src/theory/logic_info.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/logic_info.h b/src/theory/logic_info.h index dc88cc9f4..cbb04604e 100644 --- a/src/theory/logic_info.h +++ b/src/theory/logic_info.h @@ -90,14 +90,14 @@ public: * Throws an IllegalArgumentException if the logic string cannot * be interpreted. */ - LogicInfo(std::string logicString) throw(IllegalArgumentException); + LogicInfo(std::string logicString); /** * Construct a LogicInfo from an SMT-LIB-like logic string. * Throws an IllegalArgumentException if the logic string cannot * be interpreted. */ - LogicInfo(const char* logicString) throw(IllegalArgumentException); + LogicInfo(const char* logicString); // ACCESSORS @@ -157,7 +157,7 @@ public: * Throws an IllegalArgumentException if the string can't be * interpreted. */ - void setLogicString(std::string logicString) throw(IllegalArgumentException); + void setLogicString(std::string logicString); /** * Enable all functionality. All theories, plus quantifiers, will be |