diff options
Diffstat (limited to 'src/prop/cryptominisat.h')
-rw-r--r-- | src/prop/cryptominisat.h | 2 |
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; |