1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h
index 32c05974b..c1782b6c0 100644
--- a/src/prop/cryptominisat.h
+++ b/src/prop/cryptominisat.h
@@ -38,7 +38,7 @@ namespace prop {
 class CryptoMinisatSolver : public SatSolver {
 
 private:
-  CMSat::SATSolver* d_solver;
+  std::unique_ptr<CMSat::SATSolver> d_solver;
   unsigned d_numVariables;
   bool d_okay;
   SatVariable d_true;