1 files changed, 4 insertions, 3 deletions
diff --git a/include/klee/Solver/IncompleteSolver.h b/include/klee/Solver/IncompleteSolver.h
index 3841c38b..b8ef1929 100644
--- a/include/klee/Solver/IncompleteSolver.h
+++ b/include/klee/Solver/IncompleteSolver.h
@@ -13,6 +13,8 @@
 #include "klee/Solver/Solver.h"
 #include "klee/Solver/SolverImpl.h"
 
+#include <memory>
+
 namespace klee {
 
 /// IncompleteSolver - Base class for incomplete solver
@@ -87,12 +89,11 @@ public:
 /// solver.
 class StagedSolverImpl : public SolverImpl {
 private:
-  IncompleteSolver *primary;
-  Solver *secondary;
+  std::unique_ptr<IncompleteSolver> primary;
+  std::unique_ptr<Solver> secondary;
   
 public:
   StagedSolverImpl(IncompleteSolver *_primary, Solver *_secondary);
-  ~StagedSolverImpl();
     
   bool computeTruth(const Query&, bool &isValid);
   bool computeValidity(const Query&, Solver::Validity &result);