about summary refs log tree commit diff homepage
path: root/lib/Core/TimingSolver.h
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Core/TimingSolver.h')
-rw-r--r--lib/Core/TimingSolver.h6
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h
index 8e25b21c..9470bd31 100644
--- a/lib/Core/TimingSolver.h
+++ b/lib/Core/TimingSolver.h
@@ -15,6 +15,7 @@
 #include "klee/Solver/Solver.h"
 #include "klee/System/Time.h"
 
+#include <memory>
 #include <vector>
 
 namespace klee {
@@ -25,7 +26,7 @@ namespace klee {
   /// tracking the statistics that we care about.
   class TimingSolver {
   public:
-    Solver *solver;
+    std::unique_ptr<Solver> solver;
     bool simplifyExprs;
 
   public:
@@ -36,9 +37,6 @@ namespace klee {
     /// querying.
     TimingSolver(Solver *_solver, bool _simplifyExprs = true) 
       : solver(_solver), simplifyExprs(_simplifyExprs) {}
-    ~TimingSolver() {
-      delete solver;
-    }
 
     void setTimeout(time::Span t) {
       solver->setCoreSolverTimeout(t);