Fixed build issue due to dummy Cryptominisat constructor.

diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h
index 29f8b7a2a163ed43ce4125c5ddf50639ed81b194..54d52af0e7a18128fc00fdda900aa72e3204124c 100644 (file)
--- 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();