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 }