Relaxing the throw specifiers for the destructors for Node, TypeNode, the context/ classes, and their subclasses. Fixes compilation issues with clang 3.5 and -std=c++11 'exception specification of overriding function is more lax than base version' for a couple of different classes.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 81fb94242..4afaea5a0 100644
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -43,7 +43,7 @@ class SatSolver {
 public:
 
   /** Virtual destructor */
-  virtual ~SatSolver() throw(AssertionException) { }
+  virtual ~SatSolver() { }
 
   /** Assert a clause in the solver. */
   virtual ClauseId addClause(SatClause& clause,
@@ -99,7 +99,7 @@ public:
 class BVSatSolverInterface: public SatSolver {
 public:
 
-  virtual ~BVSatSolverInterface() throw(AssertionException) {}
+  virtual ~BVSatSolverInterface() {}
   /** Interface for notifications */
   class Notify {
   public: