fix compiler warning in unit test

diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h
index c325ed0a75235b83557e703994c9802207b3cbc4..734e38b7b98c7abb5eab3ed6a188c78ddb9ce449 100644 (file)
--- a/test/unit/expr/attribute_white.h
+++ b/test/unit/expr/attribute_white.h
@@ -362,7 +362,7 @@ public:
     TS_ASSERT(unnamed.hasAttribute(TestFlag5()));
 
     // test two-arg version of hasAttribute()
-    bool bb;
+    bool bb CVC4_UNUSED;
     Debug("boolattr") << "get flag 1 on a (should be F)\n";
     TS_ASSERT(a.getAttribute(TestFlag1(), bb));
     TS_ASSERT(! bb);