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, 1 insertions, 1 deletions

diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h
index ec5297bb7..1627a6575 100644
--- a/src/prop/minisat/minisat.h
+++ b/src/prop/minisat/minisat.h
@@ -29,7 +29,7 @@ class MinisatSatSolver : public DPLLSatSolverInterface {
 public:
 
   MinisatSatSolver(StatisticsRegistry* registry);
-  ~MinisatSatSolver() throw();
+  virtual ~MinisatSatSolver();
 ;
 
   static SatVariable     toSatVariable(Minisat::Var var);