# HG changeset patch
# User deba
# Date 1162304907 0
# Node ID a877258468e4e5f3873d92341e47028904321f90
# Parent  9d7b12f83daa05e6fd21d6fe5911bdbb9ef2cc35
Bug fix

diff -r 9d7b12f83daa -r a877258468e4 lemon/bits/graph_extender.h
--- a/lemon/bits/graph_extender.h	Tue Oct 31 14:27:58 2006 +0000
+++ b/lemon/bits/graph_extender.h	Tue Oct 31 14:28:27 2006 +0000
@@ -673,8 +673,10 @@
     UEdge addEdge(const Node& from, const Node& to) {
       UEdge uedge = Parent::addEdge(from, to);
       getNotifier(UEdge()).add(uedge);
-      getNotifier(Edge()).add(Parent::direct(uedge, true));
-      getNotifier(Edge()).add(Parent::direct(uedge, false));
+      std::vector<Edge> edges;
+      edges.push_back(Parent::direct(uedge, true));
+      edges.push_back(Parent::direct(uedge, false));      
+      getNotifier(Edge()).add(edges);
       return uedge;
     }
     
@@ -704,8 +706,10 @@
     }
 
     void erase(const UEdge& uedge) {
-      getNotifier(Edge()).erase(Parent::direct(uedge, true));
-      getNotifier(Edge()).erase(Parent::direct(uedge, false));
+      std::vector<Edge> edges;
+      edges.push_back(Parent::direct(uedge, true));
+      edges.push_back(Parent::direct(uedge, false));      
+      getNotifier(Edge()).erase(edges);
       getNotifier(UEdge()).erase(uedge);
       Parent::erase(uedge);
     }