# HG changeset patch
# User deba
# Date 1196031404 0
# Node ID 05c0ba99cc276447efccd40ca8fca853092c9d58
# Parent  6148e83636b91c18473a6722ca15824e4a8b1056
Bugfix: using read-write map instead reference map

diff -r 6148e83636b9 -r 05c0ba99cc27 lemon/elevator.h
--- a/lemon/elevator.h	Wed Nov 21 18:19:20 2007 +0000
+++ b/lemon/elevator.h	Sun Nov 25 22:56:44 2007 +0000
@@ -905,7 +905,7 @@
     ///level is forbidden in the push-relabel algorithms. The node
     ///should be lifted previously to the top level.
     void markToBottom(Item i) {
-      _level[i] = _max_level - 1;
+      _level.set(i, _max_level - 1);
     }
 
     ///Lift all nodes on and above a level to the top (and deactivate them).