1.1 --- a/src/lemon/bits/extendable_graph_extender.h Wed May 11 17:36:25 2005 +0000
1.2 +++ b/src/lemon/bits/extendable_graph_extender.h Sat May 14 17:20:40 2005 +0000
1.3 @@ -50,10 +50,10 @@
1.4 UndirEdge uedge = Parent::addEdge(from, to);
1.5 Parent::getNotifier(UndirEdge()).add(uedge);
1.6
1.7 - Edge edge_forward(uedge, true);
1.8 - Edge edge_backward(uedge, false);
1.9 - Parent::getNotifier(Edge()).add(edge_forward);
1.10 - Parent::getNotifier(Edge()).add(edge_backward);
1.11 + std::vector<Edge> edges;
1.12 + edges.push_back(Edge(uedge, true));
1.13 + edges.push_back(Edge(uedge, false));
1.14 + Parent::getNotifier(Edge()).add(edges);
1.15
1.16 return uedge;
1.17 }