1.1 --- a/lemon/bits/solver_bits.h Fri Feb 03 05:55:39 2012 +0100
1.2 +++ b/lemon/bits/solver_bits.h Sun May 06 17:18:39 2012 +0200
1.3 @@ -44,6 +44,7 @@
1.4
1.5 void clear() {
1.6 first_item = -1;
1.7 + last_item = -1;
1.8 first_free_item = -1;
1.9 items.clear();
1.10 cross.clear();