icc need this...
... and she's right.
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) {