From 3d97646be5eb3f2b50028875f4d899698228e8c7 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 12 Oct 2010 21:10:36 +0000 Subject: hooked up "we are incomplete" flag after conversation with Tim (a theory notifies the theory engine through its output channel); some cleanup; add a regression for bug #216 --- test/unit/expr/node_self_iterator_black.h | 1 + 1 file changed, 1 insertion(+) (limited to 'test/unit/expr') diff --git a/test/unit/expr/node_self_iterator_black.h b/test/unit/expr/node_self_iterator_black.h index 5627a9db5..4e7c198ee 100644 --- a/test/unit/expr/node_self_iterator_black.h +++ b/test/unit/expr/node_self_iterator_black.h @@ -71,6 +71,7 @@ public: TS_ASSERT(j == NodeSelfIterator::selfEnd(x_and_y)); TS_ASSERT(i == x_and_y.end()); TS_ASSERT(j == x_and_y.end()); + i = x_and_y.begin(); TS_ASSERT(i != x_and_y.end()); TS_ASSERT(*i == x); -- cgit v1.2.3