diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 17:11:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 17:11:26 +0000 |
| commit | 5ad6726028477de6059a0af83b8870d9d524a7ac (patch) | |
| tree | 463b94f09e92e73882dae9f1f113eba4c7dac389 /test | |
| parent | 193152de0a76a0e6ae1190880b1022d72bbb68c7 (diff) | |
fix compiler warning in unit test
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); |