diff options
Diffstat (limited to 'src/prop/sat_solver_factory.cpp')
-rw-r--r-- | src/prop/sat_solver_factory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp index e6ae5d1e7..3b048af47 100644 --- a/src/prop/sat_solver_factory.cpp +++ b/src/prop/sat_solver_factory.cpp @@ -27,8 +27,8 @@ namespace prop { template class SatSolverConstructor<MinisatSatSolver>; template class SatSolverConstructor<BVMinisatSatSolver>; -BVSatSolverInterface* SatSolverFactory::createMinisat() { - return new BVMinisatSatSolver(); +BVSatSolverInterface* SatSolverFactory::createMinisat(context::Context* mainSatContext) { + return new BVMinisatSatSolver(mainSatContext); } DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat() { |