lemon/graph_utils.h
changeset 1712 4fb435ad31cf
parent 1704 467d7927a901
child 1720 578d8b2b76c6
     1.1 --- a/lemon/graph_utils.h	Thu Oct 06 09:57:23 2005 +0000
     1.2 +++ b/lemon/graph_utils.h	Thu Oct 06 09:58:21 2005 +0000
     1.3 @@ -1400,7 +1400,7 @@
     1.4      }
     1.5  
     1.6      void add(const Node& node) {
     1.7 -      if (size(graph.id(node) + 1) > values.size()) {
     1.8 +      if (size(graph.id(node) + 1) >= (int)values.size()) {
     1.9  	values.resize(size(graph.id(node) + 1));	
    1.10        }
    1.11      }