diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2020-09-02 10:49:25 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2020-09-02 10:54:08 -0700 |
commit | dba70e10ef8ae0a991969cb7ca0cba2d0e9d9d4d (patch) | |
tree | 37724fc2aa86685e658081ab9ed262867d8357e3 /src/prop/cryptominisat.cpp | |
parent | fc784f0273099b84581862b8587940c6db3459ed (diff) |
Fix CryptoMiniSat build, regression
This commit fixes builds that include CryptoMiniSat after commit
8ad308b23c705e73507a42d2425289e999d47f86 removed them. It also fixes one
of the regressions that requires unsat cores but was run when the build
was configured without them.
Diffstat (limited to 'src/prop/cryptominisat.cpp')
-rw-r--r-- | src/prop/cryptominisat.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index cf23758f1..9dc04c274 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -64,7 +64,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) |