1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp
index c5972d7bb..fa787451d 100644
--- a/src/prop/sat_solver_factory.cpp
+++ b/src/prop/sat_solver_factory.cpp
@@ -25,11 +25,11 @@ using namespace CVC4;
 using namespace prop;
 
 BVSatSolverInterface* SatSolverFactory::createMinisat() {
-  return new MinisatSatSolver();
+  return new BVMinisatSatSolver();
 }
 
 DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat() {
-  return new DPLLMinisatSatSolver();
+  return new MinisatSatSolver();
 }
 
 SatSolver* SatSolverFactory::create(const char* name) {