Fix compiler errors due to unbalanced throw specifiers.

2 files changed, 4 insertions, 2 deletions

diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp
index b896b03fb..53ab2eccf 100644
--- a/src/prop/minisat/minisat.cpp
+++ b/src/prop/minisat/minisat.cpp
@@ -32,7 +32,8 @@ MinisatSatSolver::MinisatSatSolver() :
   d_context(NULL)
 {}
 
-MinisatSatSolver::~MinisatSatSolver() {
+MinisatSatSolver::~MinisatSatSolver() throw()
+{
   delete d_minisat;
 }
 
diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h
index a355702bc..2564572c2 100644
--- a/src/prop/minisat/minisat.h
+++ b/src/prop/minisat/minisat.h
@@ -37,7 +37,8 @@ class MinisatSatSolver : public DPLLSatSolverInterface {
 public:
 
   MinisatSatSolver();
-  ~MinisatSatSolver();
+  ~MinisatSatSolver() throw();
+;
 
   static SatVariable     toSatVariable(Minisat::Var var);
   static Minisat::Lit    toMinisatLit(SatLiteral lit);