1.1 --- a/src/work/deba/vector_map.h	Thu Apr 22 16:07:17 2004 +0000
     1.2 +++ b/src/work/deba/vector_map.h	Thu Apr 22 16:36:57 2004 +0000
     1.3 @@ -34,7 +34,9 @@
     1.4  	}
     1.5  	
     1.6  	void add(const K& key) {
     1.7 -		container.resize(key->id);
     1.8 +		if (key->id() >= container.size()) {
     1.9 +			container.resize(key->id() + 1);
    1.10 +		}
    1.11  	}
    1.12  	
    1.13  	void erase(const K& key) {}
    1.14 @@ -43,6 +45,6 @@
    1.15  	typedef std::vector<ValueType> Container;
    1.16  	
    1.17  	Container container;
    1.18 -}
    1.19 +};
    1.20  
    1.21  #endif