Removing throw specifiers from type enumerators. (#1502)

1 files changed, 7 insertions, 10 deletions

diff --git a/src/theory/booleans/type_enumerator.h b/src/theory/booleans/type_enumerator.h
index b0759cbb2..32c6bae42 100644
--- a/src/theory/booleans/type_enumerator.h
+++ b/src/theory/booleans/type_enumerator.h
@@ -30,11 +30,10 @@ namespace booleans {
 class BooleanEnumerator : public TypeEnumeratorBase<BooleanEnumerator> {
   enum { FALSE, TRUE, DONE } d_value;
 
-public:
-
-  BooleanEnumerator(TypeNode type, TypeEnumeratorProperties * tep = NULL) :
-    TypeEnumeratorBase<BooleanEnumerator>(type),
-    d_value(FALSE) {
+ public:
+  BooleanEnumerator(TypeNode type, TypeEnumeratorProperties* tep = nullptr)
+      : TypeEnumeratorBase<BooleanEnumerator>(type), d_value(FALSE)
+  {
     Assert(type.getKind() == kind::TYPE_CONSTANT &&
            type.getConst<TypeConstant>() == BOOLEAN_TYPE);
   }
@@ -50,7 +49,8 @@ public:
     }
   }
 
-  BooleanEnumerator& operator++() throw() {
+  BooleanEnumerator& operator++() override
+  {
     // sequence is FALSE, TRUE
     if(d_value == FALSE) {
       d_value = TRUE;
@@ -60,10 +60,7 @@ public:
     return *this;
   }
 
-  bool isFinished() throw() {
-    return d_value == DONE;
-  }
-
+  bool isFinished() override { return d_value == DONE; }
 };/* class BooleanEnumerator */
 
 }/* CVC4::theory::booleans namespace */