diff -r 648aa2f33dc8 -r fa89ffb27a6d test/map_test.h
--- a/test/map_test.h	Thu Sep 01 20:35:30 2005 +0000
+++ b/test/map_test.h	Thu Sep 08 14:34:50 2005 +0000
@@ -49,6 +49,10 @@
       nodes.push_back(graph.addNode());
       map[nodes.back()] = 23;
     }
+    map = constMap<Node>(12);
+    for (int i = 0; i < (int)nodes.size(); ++i) {
+      check(map[nodes[i]] == 12, "Wrong map constructor.");      
+    }    
     graph.clear();
     nodes.clear();
   }
@@ -86,6 +90,10 @@
 	map[edges.back()] = 23;
       }
     }
+    map = constMap<Edge>(12);
+    for (int i = 0; i < (int)edges.size(); ++i) {
+      check(map[edges[i]] == 12, "Wrong map constructor.");      
+    }    
     graph.clear();
     edges.clear();    
   }