From 614670f98a9ab2d3cfcb9f364a1b06d78f63ebb0 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 20 Mar 2018 16:11:15 -0700
Subject: Add support for CaDiCaL as eager BV SAT solver. (#1675)

---
 src/prop/cryptominisat.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/prop/cryptominisat.cpp')

diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp
index c48a54afb..249a5eabb 100644
--- a/src/prop/cryptominisat.cpp
+++ b/src/prop/cryptominisat.cpp
@@ -79,9 +79,7 @@ CryptoMinisatSolver::CryptoMinisatSolver(StatisticsRegistry* registry,
 }
 
 
-CryptoMinisatSolver::~CryptoMinisatSolver() {
-  delete d_solver;
-}
+CryptoMinisatSolver::~CryptoMinisatSolver() {}
 
 ClauseId CryptoMinisatSolver::addXorClause(SatClause& clause,
 				       bool rhs,
-- 
cgit v1.2.3