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;