From 91656937b2188f05cdd9b42955c04e6157349285 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 19:51:41 +0000
Subject: [PATCH] fix production-build compiler warning

---
 src/theory/booleans/theory_bool.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2