From: Liana Hadarean <lianahady@gmail.com>
Date: Wed, 25 May 2016 06:16:06 +0000 (-0700)
Subject: Fixed build issue due to dummy Cryptominisat constructor.
X-Git-Tag: cvc5-1.0.0~6049^2~34
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2cea2a149b08a19eac7af1d5a90e6345b47f3744;p=cvc5.git

Fixed build issue due to dummy Cryptominisat constructor.
---

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();