1.1 --- a/src/lemon/bits/erasable_graph_extender.h	Wed May 11 17:36:25 2005 +0000
     1.2 +++ b/src/lemon/bits/erasable_graph_extender.h	Sat May 14 17:20:40 2005 +0000
     1.3 @@ -3,6 +3,8 @@
     1.4  #ifndef LEMON_ERASABLE_GRAPH_EXTENDER_H
     1.5  #define LEMON_ERASABLE_GRAPH_EXTENDER_H
     1.6  
     1.7 +#include <vector>
     1.8 +
     1.9  #include <lemon/invalid.h>
    1.10  
    1.11  
    1.12 @@ -67,8 +69,10 @@
    1.13      }
    1.14      
    1.15      void erase(const UndirEdge& uedge) {
    1.16 -      Parent::getNotifier(Edge()).erase(Edge(uedge,true));
    1.17 -      Parent::getNotifier(Edge()).erase(Edge(uedge,false));
    1.18 +      std::vector<Edge> edges;
    1.19 +      edges.push_back(Edge(uedge,true));
    1.20 +      edges.push_back(Edge(uedge,false));
    1.21 +      Parent::getNotifier(Edge()).erase(edges);
    1.22        Parent::getNotifier(UndirEdge()).erase(uedge);
    1.23        Parent::erase(uedge);
    1.24      }