src/lemon/bits/extendable_graph_extender.h
changeset 1414 01d9d6bc1284
parent 1307 d4acebef7276
     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      }