diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 19:00:31 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 19:00:31 +0000 |
commit | 1f8da4ffd0887a095994392087d76f376ac006d2 (patch) | |
tree | e1c94f40b721bf386eaa791de5cd9a13b0b2966a /test/unit/expr | |
parent | 5ad6726028477de6059a0af83b8870d9d524a7ac (diff) |
now passes "make distcheck", which does important checks for the release (e.g., "make dist" produces a distribution that passes "make dist" and "make check", "make uninstall" actually uninstalls, "make distclean" actually cleans, ...)
Diffstat (limited to 'test/unit/expr')
-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 734e38b7b..0fe0e93f0 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 CVC4_UNUSED; + bool bb = false; Debug("boolattr") << "get flag 1 on a (should be F)\n"; TS_ASSERT(a.getAttribute(TestFlag1(), bb)); TS_ASSERT(! bb); |