diff options
Diffstat (limited to 'test/unit/expr/attribute_white.h')
-rw-r--r-- | test/unit/expr/attribute_white.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h index e18aeb975..ea1f40eac 100644 --- a/test/unit/expr/attribute_white.h +++ b/test/unit/expr/attribute_white.h @@ -104,8 +104,8 @@ public: TS_ASSERT_DIFFERS(VarNameAttr::s_id, TestStringAttr2::s_id); TS_ASSERT_DIFFERS(TestStringAttr1::s_id, TestStringAttr2::s_id); - lastId = attr::LastAttributeId<void*, false>::s_id; - TS_ASSERT_LESS_THAN(theory::uf::ECAttr::s_id, lastId); + //lastId = attr::LastAttributeId<void*, false>::s_id; + //TS_ASSERT_LESS_THAN(theory::uf::ECAttr::s_id, lastId); lastId = attr::LastAttributeId<bool, false>::s_id; TS_ASSERT_LESS_THAN(theory::Theory::PreRegisteredAttr::s_id, lastId); |