diff -r d5a7d6bc0f00 -r 66ae78d29f1e lemon/graph_adaptor.h
--- a/lemon/graph_adaptor.h	Tue Aug 30 21:19:07 2005 +0000
+++ b/lemon/graph_adaptor.h	Wed Aug 31 13:29:32 2005 +0000
@@ -1430,7 +1430,7 @@
     public ErasableGraphExtender<
     ClearableGraphExtender<
     ExtendableGraphExtender<
-    DefaultMappableGraphExtender<
+    MappableGraphExtender<
     IterableGraphExtender<
     AlterableGraphExtender<
     NewEdgeSetAdaptorBase<_Graph> > > > > > > {
@@ -1440,7 +1440,7 @@
     typedef ErasableGraphExtender<
       ClearableGraphExtender<
       ExtendableGraphExtender<
-      DefaultMappableGraphExtender<
+      MappableGraphExtender<
       IterableGraphExtender<
       AlterableGraphExtender<
       NewEdgeSetAdaptorBase<_Graph> > > > > > > Parent;