Fix CryptoMiniSat build, regression (#5006)

[cvc5.git] / src / prop / cryptominisat.cpp

diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp
index 92817a70c94eba4192f184f9c82d5416db77ef35..9927172bef685d7b8998728353e1cdc7a52a8983 100644 (file)
--- a/src/prop/cryptominisat.cpp
+++ b/src/prop/cryptominisat.cpp
@@ -62,7 +62,6 @@ void toInternalClause(SatClause& clause,
 CryptoMinisatSolver::CryptoMinisatSolver(StatisticsRegistry* registry,
                                          const std::string& name)
     : d_solver(new CMSat::SATSolver()),
-      d_bvp(nullptr),
       d_numVariables(0),
       d_okay(true),
       d_statistics(registry, name)