Removing more miscellaneous throw specifiers. (#1488)

Removing more miscellaneous throw specifiers.

1 files changed, 19 insertions, 20 deletions

diff --git a/src/options/base_handlers.h b/src/options/base_handlers.h
index b036c7e93..874516265 100644
--- a/src/options/base_handlers.h
+++ b/src/options/base_handlers.h
@@ -35,11 +35,10 @@ class comparator {
   double d_dbound;
   bool d_hasLbound;
 
-public:
-  comparator(int i) throw() : d_lbound(i), d_dbound(0.0), d_hasLbound(true) {}
-  comparator(long l) throw() : d_lbound(l), d_dbound(0.0), d_hasLbound(true) {}
-  comparator(double d) throw() : d_lbound(0), d_dbound(d), d_hasLbound(false) {}
-
+ public:
+  comparator(int i) : d_lbound(i), d_dbound(0.0), d_hasLbound(true) {}
+  comparator(long l) : d_lbound(l), d_dbound(0.0), d_hasLbound(true) {}
+  comparator(double d) : d_lbound(0), d_dbound(d), d_hasLbound(false) {}
   template <class T>
   void operator()(std::string option, const T& value) {
     if((d_hasLbound && !(Cmp<T>()(value, T(d_lbound)))) ||
@@ -52,33 +51,33 @@ public:
 };/* class comparator */
 
 struct greater : public comparator<std::greater> {
-  greater(int i) throw() : comparator<std::greater>(i) {}
-  greater(long l) throw() : comparator<std::greater>(l) {}
-  greater(double d) throw() : comparator<std::greater>(d) {}
+  greater(int i) : comparator<std::greater>(i) {}
+  greater(long l) : comparator<std::greater>(l) {}
+  greater(double d) : comparator<std::greater>(d) {}
 };/* struct greater */
 
 struct greater_equal : public comparator<std::greater_equal> {
-  greater_equal(int i) throw() : comparator<std::greater_equal>(i) {}
-  greater_equal(long l) throw() : comparator<std::greater_equal>(l) {}
-  greater_equal(double d) throw() : comparator<std::greater_equal>(d) {}
+  greater_equal(int i) : comparator<std::greater_equal>(i) {}
+  greater_equal(long l) : comparator<std::greater_equal>(l) {}
+  greater_equal(double d) : comparator<std::greater_equal>(d) {}
 };/* struct greater_equal */
 
 struct less : public comparator<std::less> {
-  less(int i) throw() : comparator<std::less>(i) {}
-  less(long l) throw() : comparator<std::less>(l) {}
-  less(double d) throw() : comparator<std::less>(d) {}
+  less(int i) : comparator<std::less>(i) {}
+  less(long l) : comparator<std::less>(l) {}
+  less(double d) : comparator<std::less>(d) {}
 };/* struct less */
 
 struct less_equal : public comparator<std::less_equal> {
-  less_equal(int i) throw() : comparator<std::less_equal>(i) {}
-  less_equal(long l) throw() : comparator<std::less_equal>(l) {}
-  less_equal(double d) throw() : comparator<std::less_equal>(d) {}
+  less_equal(int i) : comparator<std::less_equal>(i) {}
+  less_equal(long l) : comparator<std::less_equal>(l) {}
+  less_equal(double d) : comparator<std::less_equal>(d) {}
 };/* struct less_equal */
 
 struct not_equal : public comparator<std::not_equal_to> {
-  not_equal(int i) throw() : comparator<std::not_equal_to>(i) {}
-  not_equal(long l) throw() : comparator<std::not_equal_to>(l) {}
-  not_equal(double d) throw() : comparator<std::not_equal_to>(d) {}
+  not_equal(int i) : comparator<std::not_equal_to>(i) {}
+  not_equal(long l) : comparator<std::not_equal_to>(l) {}
+  not_equal(double d) : comparator<std::not_equal_to>(d) {}
 };/* struct not_equal_to */
 
 }/* CVC4::options namespace */