changeset 1642 | a2dda876316f |
parent 1604 | 4d037c2b66aa |
child 1673 | 8919ca9e70f3 |
1.1 --- a/lemon/graph_to_eps.h Wed Aug 17 22:07:35 2005 +0000 1.2 +++ b/lemon/graph_to_eps.h Thu Aug 18 12:22:44 2005 +0000 1.3 @@ -877,7 +877,7 @@ 1.4 for(EdgeIt e(g);e!=INVALID;++e) 1.5 if((!_undir||g.source(e)<g.target(e))&&_edgeWidths[e]>0) 1.6 el.push_back(e); 1.7 - sort(el.begin(),el.end(),edgeLess(g)); 1.8 + std::sort(el.begin(),el.end(),edgeLess(g)); 1.9 1.10 typename std::vector<Edge>::iterator j; 1.11 for(typename std::vector<Edge>::iterator i=el.begin();i!=el.end();i=j) {