diff -r be7dd3a8d6a3 -r 4764031c082c lemon/bits/solver_bits.h
--- a/lemon/bits/solver_bits.h	Fri Jan 20 19:20:02 2012 +0100
+++ b/lemon/bits/solver_bits.h	Sun May 06 16:52:11 2012 +0200
@@ -44,6 +44,7 @@
 
       void clear() {
         first_item = -1;
+        last_item = -1;
         first_free_item = -1;
         items.clear();
         cross.clear();