diff -r fd1d073b6557 -r 567f392d1d2e src/test/undir_graph_test.cc
--- a/src/test/undir_graph_test.cc	Thu Nov 25 14:48:24 2004 +0000
+++ b/src/test/undir_graph_test.cc	Sun Nov 28 16:30:10 2004 +0000
@@ -16,12 +16,22 @@
 int main() {
   typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase;
 
-  function_requires< BaseIterableUndirGraphConcept<UndirListGraphBase> >();
-
   typedef IterableUndirGraphExtender<
     AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph;
 
-  function_requires< IterableUndirGraphConcept<IterableUndirListGraph> >();
+  typedef MappableUndirGraphExtender<IterableUndirListGraph>
+    MappableUndirListGraph;
+
+  typedef ErasableUndirGraphExtender<
+    ClearableUndirGraphExtender<
+    ExtendableUndirGraphExtender<MappableUndirListGraph> > > Graph;
+
+  checkConcept<BaseIterableUndirGraphConcept, Graph>();
+  checkConcept<IterableUndirGraphConcept, Graph>();
+  checkConcept<MappableUndirGraphConcept, Graph>();
+
+  checkConcept<UndirGraph, Graph>();
+  checkConcept<ErasableUndirGraph, Graph>();
 
   return 0;
 }