diff -r 4bb9e72e1a41 -r 7fdaa05a69a1 lemon/bits/solver_bits.h
--- a/lemon/bits/solver_bits.h	Wed Sep 12 17:25:48 2012 +0200
+++ b/lemon/bits/solver_bits.h	Thu Sep 13 11:56:19 2012 +0200
@@ -44,6 +44,7 @@
 
       void clear() {
         first_item = -1;
+        last_item = -1;
         first_free_item = -1;
         items.clear();
         cross.clear();