From 2cea2a149b08a19eac7af1d5a90e6345b47f3744 Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Tue, 24 May 2016 23:16:06 -0700 Subject: [PATCH] Fixed build issue due to dummy Cryptominisat constructor. --- src/prop/cryptominisat.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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(); -- 2.30.2