diff -r a9933b493198 -r d9a221218ea4 lemon/bin_heap.h
--- a/lemon/bin_heap.h	Fri Apr 14 15:05:51 2006 +0000
+++ b/lemon/bin_heap.h	Fri Apr 14 18:05:02 2006 +0000
@@ -112,11 +112,11 @@
 
     /// \brief Make empty this heap.
     /// 
-    /// Make empty this heap.
+    /// Make empty this heap. It does not change the cross reference map.
+    /// If you want to reuse what is not surely empty you should first clear
+    /// the heap and after that you should set the cross reference map for
+    /// each item to \c PRE_HEAP.
     void clear() { 
-      for (int i = 0; i < (int)data.size(); ++i) {
-	iim.set(data[i].first, POST_HEAP);
-      }
       data.clear(); 
     }