1.1 --- a/src/lemon/erasable_graph_extender.h	Thu Dec 16 12:15:02 2004 +0000
     1.2 +++ b/src/lemon/erasable_graph_extender.h	Thu Dec 16 12:26:57 2004 +0000
     1.3 @@ -32,12 +32,12 @@
     1.4  	Parent::firstIn(edge, node);
     1.5        }
     1.6  
     1.7 -      Parent::getObserverRegistry(Node()).erase(node);
     1.8 +      Parent::getNotifier(Node()).erase(node);
     1.9        Parent::erase(node);
    1.10      }
    1.11      
    1.12      void erase(const Edge& edge) {
    1.13 -      Parent::getObserverRegistry(Edge()).erase(edge);
    1.14 +      Parent::getNotifier(Edge()).erase(edge);
    1.15        Parent::erase(edge);
    1.16      }
    1.17  
    1.18 @@ -62,14 +62,14 @@
    1.19  	Parent::firstOut(edge, node);
    1.20        } 
    1.21  
    1.22 -      Parent::getObserverRegistry(Node()).erase(node);
    1.23 +      Parent::getNotifier(Node()).erase(node);
    1.24        Parent::erase(node);
    1.25      }
    1.26      
    1.27      void erase(const UndirEdge& uedge) {
    1.28 -      Parent::getObserverRegistry(Edge()).erase(Edge(uedge,true));
    1.29 -      Parent::getObserverRegistry(Edge()).erase(Edge(uedge,false));
    1.30 -      Parent::getObserverRegistry(UndirEdge()).erase(uedge);
    1.31 +      Parent::getNotifier(Edge()).erase(Edge(uedge,true));
    1.32 +      Parent::getNotifier(Edge()).erase(Edge(uedge,false));
    1.33 +      Parent::getNotifier(UndirEdge()).erase(uedge);
    1.34        Parent::erase(uedge);
    1.35      }
    1.36