diff options
-rw-r--r-- | src/prop/cryptominisat.h | 3 |
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(); |