diff -r ca63ec3424d8 -r bd01c5a3f989 src/lemon/extendable_graph_extender.h
--- a/src/lemon/extendable_graph_extender.h	Thu Dec 16 12:15:02 2004 +0000
+++ b/src/lemon/extendable_graph_extender.h	Thu Dec 16 12:26:57 2004 +0000
@@ -17,13 +17,13 @@
 
     Node addNode() {
       Node node = Parent::addNode();
-      Parent::getObserverRegistry(Node()).add(node);
+      Parent::getNotifier(Node()).add(node);
       return node;
     }
     
     Edge addEdge(const Node& from, const Node& to) {
       Edge edge = Parent::addEdge(from, to);
-      Parent::getObserverRegistry(Edge()).add(edge);
+      Parent::getNotifier(Edge()).add(edge);
       return edge;
     }
 
@@ -42,18 +42,18 @@
 
     Node addNode() {
       Node node = Parent::addNode();
-      Parent::getObserverRegistry(Node()).add(node);
+      Parent::getNotifier(Node()).add(node);
       return node;
     }
 
     UndirEdge addEdge(const Node& from, const Node& to) {
       UndirEdge uedge = Parent::addEdge(from, to);
-      Parent::getObserverRegistry(UndirEdge()).add(uedge);
+      Parent::getNotifier(UndirEdge()).add(uedge);
 
       Edge edge_forward(uedge, true);
       Edge edge_backward(uedge, false);
-      Parent::getObserverRegistry(Edge()).add(edge_forward);
-      Parent::getObserverRegistry(Edge()).add(edge_backward);
+      Parent::getNotifier(Edge()).add(edge_forward);
+      Parent::getNotifier(Edge()).add(edge_backward);
 
       return uedge;
     }