diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-05-22 09:47:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 11:47:55 -0500 |
| commit | 46501b092b2d9419273d42f28a7a543ae9b2e338 (patch) | |
| tree | 626a43fee4153b3513b723a380ad26469cdfc0c5 /src/prop/sat_solver_factory.cpp | |
| parent | c531152e6a707b66b885e508ea61e2a67e195ccc (diff) | |
Cryptominisat: Clean up initialization on creation. (#4515)
Diffstat (limited to 'src/prop/sat_solver_factory.cpp')
| -rw-r--r-- | src/prop/sat_solver_factory.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp index 8f18a6055..598ba4543 100644 --- a/src/prop/sat_solver_factory.cpp +++ b/src/prop/sat_solver_factory.cpp @@ -43,7 +43,9 @@ SatSolver* SatSolverFactory::createCryptoMinisat(StatisticsRegistry* registry, const std::string& name) { #ifdef CVC4_USE_CRYPTOMINISAT - return new CryptoMinisatSolver(registry, name); + CryptoMinisatSolver* res = new CryptoMinisatSolver(registry, name); + res->init(); + return res; #else Unreachable() << "CVC4 was not compiled with Cryptominisat support."; #endif |