diff options
Diffstat (limited to 'src/prop/cryptominisat.cpp')
-rw-r--r-- | src/prop/cryptominisat.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index d8f25a786..eff079cc9 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -45,7 +45,7 @@ CryptoMinisatSolver::CryptoMinisatSolver(StatisticsRegistry* registry, } -CryptoMinisatSolver::~CryptoMinisatSolver() throw(AssertionException) { +CryptoMinisatSolver::~CryptoMinisatSolver() { delete d_solver; } |