1 files changed, 0 insertions, 17 deletions
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp
index 3d3e76205..98b8fce47 100644
--- a/src/prop/sat_solver_factory.cpp
+++ b/src/prop/sat_solver_factory.cpp
@@ -15,16 +15,12 @@
  **/
 
 #include "prop/sat_solver_factory.h"
-#include "prop/sat_solver_registry.h"
 #include "prop/minisat/minisat.h"
 #include "prop/bvminisat/bvminisat.h"
 
 namespace CVC4 {
 namespace prop {
 
-template class SatSolverConstructor<MinisatSatSolver>;
-template class SatSolverConstructor<BVMinisatSatSolver>;
-
 BVSatSolverInterface* SatSolverFactory::createMinisat(context::Context* mainSatContext, const std::string& name) {
   return new BVMinisatSatSolver(mainSatContext, name);
 }
@@ -33,18 +29,5 @@ DPLLSatSolverInterface* SatSolverFactory::createDPLLMinisat() {
   return new MinisatSatSolver();
 }
 
-SatSolver* SatSolverFactory::create(const char* name) {
-  SatSolverConstructorInterface* constructor = SatSolverRegistry::getConstructor(name);
-  if (constructor) {
-    return constructor->construct();
-  } else {
-    return NULL;
-  }
-}
-
-void SatSolverFactory::getSolverIds(std::vector<std::string>& solvers) {
-  SatSolverRegistry::getSolverIds(solvers);
-}
-
 } /* CVC4::prop namespace */
 } /* CVC4 namespace */