diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-15 22:47:40 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-15 22:47:40 -0800 |
commit | 4538f5fe95758f2507c191ab39175491f24e6f67 (patch) | |
tree | 9b288d3601692488e02c10adebf7f90b227981a0 /src/theory/logic_info.h | |
parent | 9ee67c0d1180c7cf85fb648b57bb47100db3d633 (diff) |
Removing more miscellaneous throw specifiers. (#1509)
Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.
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 |