Removing more miscellaneous throw specifiers. (#1509)

Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.

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