1 files changed, 4 insertions, 2 deletions
diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h
index e0446eb4a..434bf849d 100644
--- a/src/prop/sat_solver_factory.h
+++ b/src/prop/sat_solver_factory.h
@@ -21,7 +21,9 @@
 #include <string>
 #include <vector>
 
+#include "context/context.h"
 #include "prop/sat_solver.h"
+#include "util/statistics_registry.h"
 
 namespace CVC4 {
 namespace prop {
@@ -29,8 +31,8 @@ namespace prop {
 class SatSolverFactory {
 public:
 
-  static BVSatSolverInterface* createMinisat(context::Context* mainSatContext, const std::string& name = "");
-  static DPLLSatSolverInterface* createDPLLMinisat();
+  static BVSatSolverInterface* createMinisat(context::Context* mainSatContext, StatisticsRegistry* registry, const std::string& name = "");
+  static DPLLSatSolverInterface* createDPLLMinisat(StatisticsRegistry* registry);
 
 };/* class SatSolverFactory */