From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 19:51:41 +0000 (+0000)
Subject: fix production-build compiler warning
X-Git-Tag: cvc5-1.0.0~8546
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=91656937b2188f05cdd9b42955c04e6157349285;p=cvc5.git

fix production-build compiler warning
---

diff --git a/src/theory/booleans/theory_bool.cpp b/src/theory/booleans/theory_bool.cpp
index b06972a2e..836022bc2 100644
--- a/src/theory/booleans/theory_bool.cpp
+++ b/src/theory/booleans/theory_bool.cpp
@@ -100,7 +100,7 @@ Node TheoryBool::getValue(TNode n) {
 static void
 findAtoms(TNode in, vector<TNode>& atoms,
           hash_map<TNode, vector<TNode>, TNodeHashFunction>& backEdges) {
-  Kind k = in.getKind();
+  Kind k CVC4_UNUSED = in.getKind();
   Assert(kindToTheoryId(k) == THEORY_BOOL);
 
   stack< pair<TNode, TNode::iterator> > trail;