From b0f645687c36237a58a571b5b416717a871f2bf2 Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Fri, 24 Mar 2023 01:11:58 +0000
Subject: use unique_ptr in CachingSolver

---
 lib/Solver/CachingSolver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/CachingSolver.cpp b/lib/Solver/CachingSolver.cpp
index 4a4c8e28..5d85062d 100644
--- a/lib/Solver/CachingSolver.cpp
+++ b/lib/Solver/CachingSolver.cpp
@@ -16,6 +16,7 @@
 #include "klee/Solver/SolverImpl.h"
 #include "klee/Solver/SolverStats.h"
 
+#include <memory>
 #include <unordered_map>
 
 using namespace klee;
@@ -62,12 +63,11 @@ private:
                              CacheEntryHash>
       cache_map;
 
-  Solver *solver;
+  std::unique_ptr<Solver> solver;
   cache_map cache;
 
 public:
   CachingSolver(Solver *s) : solver(s) {}
-  ~CachingSolver() { cache.clear(); delete solver; }
 
   bool computeValidity(const Query&, Solver::Validity &result);
   bool computeTruth(const Query&, bool &isValid);
-- 
cgit 1.4.1