# HG changeset patch
# User marci
# Date 1077890321 0
# Node ID 1e5060d1fa1dc0e1ee8adcc52e7e76bb905d0c94
# Parent  e606071614f08e7bb87c52717cf6e0efc204e0ee
blocking flow improvement

diff -r e606071614f0 -r 1e5060d1fa1d src/work/edmonds_karp.hh
--- a/src/work/edmonds_karp.hh	Fri Feb 27 12:58:17 2004 +0000
+++ b/src/work/edmonds_karp.hh	Fri Feb 27 13:58:41 2004 +0000
@@ -641,10 +641,13 @@
 	    typename MutableGraph::EdgeIt e=pred.get(n);
 	    original_edge.get(e).augment(augment_value); 
 	    n=F.tail(e);
-	    F.erase(e);
+	    if (free_on_edge.get(e)==augment_value) 
+	      F.erase(e); 
+	    else 
+	      free_on_edge.set(e, free_on_edge.get(e)-augment_value);
 	  }
 	}
-
+      
       }
             
       return _augment;