changeset 1039 | bd01c5a3f989 |
parent 986 | e997802b855c |
child 1106 | 0a7d604a9763 |
1.1 --- a/src/lemon/full_graph.h Thu Dec 16 12:15:02 2004 +0000 1.2 +++ b/src/lemon/full_graph.h Thu Dec 16 12:26:57 2004 +0000 1.3 @@ -21,7 +21,7 @@ 1.4 1.5 1.6 #include <lemon/iterable_graph_extender.h> 1.7 -#include <lemon/alteration_observer_registry.h> 1.8 +#include <lemon/alteration_notifier.h> 1.9 #include <lemon/default_map.h> 1.10 1.11 #include <lemon/invalid.h>