1 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h
index 29f8b7a2a..54d52af0e 100644
--- a/src/prop/cryptominisat.h
+++ b/src/prop/cryptominisat.h
@@ -100,7 +100,8 @@ namespace prop {
 class CryptoMinisatSolver : public SatSolver {
 
 public:
-  CryptoMinisatSolver(const std::string& name = "") { Unreachable(); }
+  CryptoMinisatSolver(StatisticsRegistry* registry,
+                      const std::string& name = "") { Unreachable(); }
   /** Assert a clause in the solver. */
   ClauseId addClause(SatClause& clause, bool removable) {
     Unreachable();