1.1 --- a/lemon/bits/solver_bits.h Wed Sep 12 17:25:48 2012 +0200
1.2 +++ b/lemon/bits/solver_bits.h Thu Sep 13 11:56:19 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();