1.1 --- a/lemon/elevator.h	Wed Nov 21 18:19:20 2007 +0000
     1.2 +++ b/lemon/elevator.h	Sun Nov 25 22:56:44 2007 +0000
     1.3 @@ -905,7 +905,7 @@
     1.4      ///level is forbidden in the push-relabel algorithms. The node
     1.5      ///should be lifted previously to the top level.
     1.6      void markToBottom(Item i) {
     1.7 -      _level[i] = _max_level - 1;
     1.8 +      _level.set(i, _max_level - 1);
     1.9      }
    1.10  
    1.11      ///Lift all nodes on and above a level to the top (and deactivate them).