Remove throw specifiers in FP type checker (#2392)

diff --git a/src/theory/fp/theory_fp_type_rules.h b/src/theory/fp/theory_fp_type_rules.h
index 7b155aa5866453ca819afa9803d15847a28edc30..94ce476bf2a9b084bc7fbe8dc22edfda40b2748d 100644 (file)
--- a/src/theory/fp/theory_fp_type_rules.h
+++ b/src/theory/fp/theory_fp_type_rules.h
@@ -618,10 +618,9 @@ class FloatingPointToRealTotalTypeRule {
 class FloatingPointComponentBit
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentBit");
 
@@ -653,10 +652,9 @@ class FloatingPointComponentBit
 class FloatingPointComponentExponent
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentExponent");
 
@@ -701,10 +699,9 @@ class FloatingPointComponentExponent
 class FloatingPointComponentSignificand
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentSignificand");
 
@@ -745,10 +742,9 @@ class FloatingPointComponentSignificand
 class RoundingModeBitBlast
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("RoundingModeBitBlast");