From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Jul 2012 17:11:26 +0000 (+0000)
Subject: fix compiler warning in unit test
X-Git-Tag: cvc5-1.0.0~7922
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ad6726028477de6059a0af83b8870d9d524a7ac;p=cvc5.git

fix compiler warning in unit test
---

diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h
index c325ed0a7..734e38b7b 100644
--- 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);