1.1 --- a/lemon/bits/edge_set_extender.h	Fri Oct 19 13:50:13 2007 +0000
     1.2 +++ b/lemon/bits/edge_set_extender.h	Fri Oct 19 15:21:07 2007 +0000
     1.3 @@ -590,8 +590,10 @@
     1.4      UEdge addEdge(const Node& from, const Node& to) {
     1.5        UEdge uedge = Parent::addEdge(from, to);
     1.6        notifier(UEdge()).add(uedge);
     1.7 -      notifier(Edge()).add(Parent::direct(uedge, true));
     1.8 -      notifier(Edge()).add(Parent::direct(uedge, false));
     1.9 +      std::vector<Edge> edges;
    1.10 +      edges.push_back(Parent::direct(uedge, true));
    1.11 +      edges.push_back(Parent::direct(uedge, false));
    1.12 +      notifier(Edge()).add(edges);
    1.13        return uedge;
    1.14      }
    1.15      
    1.16 @@ -602,8 +604,10 @@
    1.17      }
    1.18  
    1.19      void erase(const UEdge& uedge) {
    1.20 -      notifier(Edge()).erase(Parent::direct(uedge, true));
    1.21 -      notifier(Edge()).erase(Parent::direct(uedge, false));
    1.22 +      std::vector<Edge> edges;
    1.23 +      edges.push_back(Parent::direct(uedge, true));
    1.24 +      edges.push_back(Parent::direct(uedge, false));
    1.25 +      notifier(Edge()).erase(edges);
    1.26        notifier(UEdge()).erase(uedge);
    1.27        Parent::erase(uedge);
    1.28      }