1.1 --- a/lemon/bits/solver_bits.h	Thu Jan 19 15:25:06 2012 +0100
     1.2 +++ b/lemon/bits/solver_bits.h	Sat May 05 10:22:44 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();