fix production-build compiler warning

diff --git a/src/theory/booleans/theory_bool.cpp b/src/theory/booleans/theory_bool.cpp
index b06972a2e3df1071828920afcca0dadb1f2cf275..836022bc2e97d6ec2cb42506ef91e41100908744 100644 (file)
--- 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;