diff -r cfbabca1b4e9 -r 38e1d4383262 lemon/bits/solver_bits.h
--- a/lemon/bits/solver_bits.h	Fri Feb 03 05:55:39 2012 +0100
+++ b/lemon/bits/solver_bits.h	Sun May 06 17:18:39 2012 +0200
@@ -44,6 +44,7 @@
 
       void clear() {
         first_item = -1;
+        last_item = -1;
         first_free_item = -1;
         items.clear();
         cross.clear();