diff -r bd01c5a3f989 -r 372f08e8f403 src/lemon/alteration_notifier.h
--- a/src/lemon/alteration_notifier.h	Thu Dec 16 12:26:57 2004 +0000
+++ b/src/lemon/alteration_notifier.h	Thu Dec 16 12:44:49 2004 +0000
@@ -192,8 +192,8 @@
     /// Assign operator.
 		
     /// Assign operator for the AlterationNotifier. 
-    /// It makes the registry only empty because the copiable
-    /// registry's observers have to be registered still into that registry.
+    /// It makes the notifier only empty because the copiable
+    /// notifier's observers have to be registered still into that registry.
     AlterationNotifier& operator=(const AlterationNotifier&) {
       typename Container::iterator it;
       for (it = container.begin(); it != container.end(); ++it) {
@@ -315,23 +315,23 @@
 
   protected:
 
-    mutable EdgeNotifier edge_observers;
+    mutable EdgeNotifier edge_notifier;
 
-    mutable NodeNotifier node_observers;
+    mutable NodeNotifier node_notifier;
 
   public:
 
     EdgeNotifier& getNotifier(Edge = INVALID) const {
-      return edge_observers;
+      return edge_notifier;
     }
 
     NodeNotifier& getNotifier(Node = INVALID) const {
-      return node_observers;
+      return node_notifier;
     }
 
     ~AlterableGraphExtender() {
-      node_observers.clear();
-      edge_observers.clear();
+      node_notifier.clear();
+      edge_notifier.clear();
     }
     
   };
@@ -362,17 +362,17 @@
 
   protected:
 
-    mutable UndirEdgeNotifier undir_edge_observers;
+    mutable UndirEdgeNotifier undir_edge_notifier;
 
   public:
 
     using Parent::getNotifier;
     UndirEdgeNotifier& getNotifier(UndirEdge) const {
-      return undir_edge_observers;
+      return undir_edge_notifier;
     }
 
     ~AlterableUndirGraphExtender() {
-      undir_edge_observers.clear();
+      undir_edge_notifier.clear();
     }
   };