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 }