1.1 --- a/lemon/bin_heap.h	Fri Apr 14 15:05:51 2006 +0000
     1.2 +++ b/lemon/bin_heap.h	Fri Apr 14 18:05:02 2006 +0000
     1.3 @@ -112,11 +112,11 @@
     1.4  
     1.5      /// \brief Make empty this heap.
     1.6      /// 
     1.7 -    /// Make empty this heap.
     1.8 +    /// Make empty this heap. It does not change the cross reference map.
     1.9 +    /// If you want to reuse what is not surely empty you should first clear
    1.10 +    /// the heap and after that you should set the cross reference map for
    1.11 +    /// each item to \c PRE_HEAP.
    1.12      void clear() { 
    1.13 -      for (int i = 0; i < (int)data.size(); ++i) {
    1.14 -	iim.set(data[i].first, POST_HEAP);
    1.15 -      }
    1.16        data.clear(); 
    1.17      }
    1.18