diff -r b873350e6258 -r 8d281761dea4 lemon/bits/solver_bits.h
--- a/lemon/bits/solver_bits.h	Thu Jan 19 15:25:06 2012 +0100
+++ b/lemon/bits/solver_bits.h	Sat May 05 10:22:44 2012 +0200
@@ -44,6 +44,7 @@
 
       void clear() {
         first_item = -1;
+        last_item = -1;
         first_free_item = -1;
         items.clear();
         cross.clear();