1.1 --- a/lemon/bits/erasable_graph_extender.h Thu Aug 11 15:24:24 2005 +0000
1.2 +++ b/lemon/bits/erasable_graph_extender.h Thu Aug 11 15:55:17 2005 +0000
1.3 @@ -70,8 +70,8 @@
1.4
1.5 void erase(const UndirEdge& uedge) {
1.6 std::vector<Edge> edges;
1.7 - edges.push_back(Edge(uedge,true));
1.8 - edges.push_back(Edge(uedge,false));
1.9 + edges.push_back(Parent::direct(uedge,true));
1.10 + edges.push_back(Parent::direct(uedge,false));
1.11 Parent::getNotifier(Edge()).erase(edges);
1.12 Parent::getNotifier(UndirEdge()).erase(uedge);
1.13 Parent::erase(uedge);