diff -r 3f45d58969d4 -r 01d9d6bc1284 src/lemon/bits/erasable_graph_extender.h
--- a/src/lemon/bits/erasable_graph_extender.h	Wed May 11 17:36:25 2005 +0000
+++ b/src/lemon/bits/erasable_graph_extender.h	Sat May 14 17:20:40 2005 +0000
@@ -3,6 +3,8 @@
 #ifndef LEMON_ERASABLE_GRAPH_EXTENDER_H
 #define LEMON_ERASABLE_GRAPH_EXTENDER_H
 
+#include <vector>
+
 #include <lemon/invalid.h>
 
 
@@ -67,8 +69,10 @@
     }
     
     void erase(const UndirEdge& uedge) {
-      Parent::getNotifier(Edge()).erase(Edge(uedge,true));
-      Parent::getNotifier(Edge()).erase(Edge(uedge,false));
+      std::vector<Edge> edges;
+      edges.push_back(Edge(uedge,true));
+      edges.push_back(Edge(uedge,false));
+      Parent::getNotifier(Edge()).erase(edges);
       Parent::getNotifier(UndirEdge()).erase(uedge);
       Parent::erase(uedge);
     }