diff -r ca63ec3424d8 -r bd01c5a3f989 src/lemon/erasable_graph_extender.h
--- a/src/lemon/erasable_graph_extender.h	Thu Dec 16 12:15:02 2004 +0000
+++ b/src/lemon/erasable_graph_extender.h	Thu Dec 16 12:26:57 2004 +0000
@@ -32,12 +32,12 @@
 	Parent::firstIn(edge, node);
       }
 
-      Parent::getObserverRegistry(Node()).erase(node);
+      Parent::getNotifier(Node()).erase(node);
       Parent::erase(node);
     }
     
     void erase(const Edge& edge) {
-      Parent::getObserverRegistry(Edge()).erase(edge);
+      Parent::getNotifier(Edge()).erase(edge);
       Parent::erase(edge);
     }
 
@@ -62,14 +62,14 @@
 	Parent::firstOut(edge, node);
       } 
 
-      Parent::getObserverRegistry(Node()).erase(node);
+      Parent::getNotifier(Node()).erase(node);
       Parent::erase(node);
     }
     
     void erase(const UndirEdge& uedge) {
-      Parent::getObserverRegistry(Edge()).erase(Edge(uedge,true));
-      Parent::getObserverRegistry(Edge()).erase(Edge(uedge,false));
-      Parent::getObserverRegistry(UndirEdge()).erase(uedge);
+      Parent::getNotifier(Edge()).erase(Edge(uedge,true));
+      Parent::getNotifier(Edge()).erase(Edge(uedge,false));
+      Parent::getNotifier(UndirEdge()).erase(uedge);
       Parent::erase(uedge);
     }