1.1 --- a/lemon/bits/solver_bits.h Fri Jan 20 19:16:43 2012 +0100
1.2 +++ b/lemon/bits/solver_bits.h Sun May 06 16:46:14 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();