Bugfix; random iterators were failing when ++ was called repeatedly without dereferencing the iterator.

This commit is contained in:
Sears Russell 2007-10-30 14:54:50 +00:00
parent e322ec2795
commit bd4f5c38f2

View file

@ -185,7 +185,7 @@ class randomIterator {
} else if(can_deref_ == RAND_TUP_NEVER) { } else if(can_deref_ == RAND_TUP_NEVER) {
can_deref_ = RAND_TUP_NO; can_deref_ = RAND_TUP_NO;
} else { } else {
assert(can_deref_ == RAND_TUP_BROKE); can_deref_ = RAND_TUP_BROKE;
} }
} }
inline void operator+=(int i) { inline void operator+=(int i) {