1.1 --- a/test/map_test.h	Thu Sep 01 20:35:30 2005 +0000
     1.2 +++ b/test/map_test.h	Thu Sep 08 14:34:50 2005 +0000
     1.3 @@ -49,6 +49,10 @@
     1.4        nodes.push_back(graph.addNode());
     1.5        map[nodes.back()] = 23;
     1.6      }
     1.7 +    map = constMap<Node>(12);
     1.8 +    for (int i = 0; i < (int)nodes.size(); ++i) {
     1.9 +      check(map[nodes[i]] == 12, "Wrong map constructor.");      
    1.10 +    }    
    1.11      graph.clear();
    1.12      nodes.clear();
    1.13    }
    1.14 @@ -86,6 +90,10 @@
    1.15  	map[edges.back()] = 23;
    1.16        }
    1.17      }
    1.18 +    map = constMap<Edge>(12);
    1.19 +    for (int i = 0; i < (int)edges.size(); ++i) {
    1.20 +      check(map[edges[i]] == 12, "Wrong map constructor.");      
    1.21 +    }    
    1.22      graph.clear();
    1.23      edges.clear();    
    1.24    }