diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/expr/attribute_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
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); |