From: Liana Hadarean <lianahady@gmail.com>
Date: Wed, 25 May 2016 07:03:53 +0000 (-0700)
Subject: Fixed unit test
X-Git-Tag: cvc5-1.0.0~6049^2~33
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f079d6d88fc6e7e5c73eb4bfa9cb42e6930c224;p=cvc5.git

Fixed unit test
---

diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index bf28e5996..98417c492 100644
--- a/test/unit/prop/cnf_stream_white.h
+++ b/test/unit/prop/cnf_stream_white.h
@@ -69,6 +69,14 @@ public:
     return ClauseIdUndef;
   }
 
+  ClauseId addXorClause(SatClause& clause, bool rhs, bool removable) {
+    d_addClauseCalled = true;
+    return ClauseIdUndef;
+  }
+
+  bool nativeXor() { return false; }
+
+  
   void reset() {
     d_addClauseCalled = false;
   }