gui/graph_displayer_canvas-edge.cc
changeset 1614 350c1d8bb7cc
parent 1606 dc4ea2010dee
child 1632 93ac8c521fe5
     1.1 --- a/gui/graph_displayer_canvas-edge.cc	Wed Aug 03 19:10:12 2005 +0000
     1.2 +++ b/gui/graph_displayer_canvas-edge.cc	Sun Aug 07 14:17:11 2005 +0000
     1.3 @@ -25,7 +25,7 @@
     1.4      {
     1.5        for (EdgeIt i(mapstorage.graph); i!=INVALID; ++i)
     1.6  	{
     1.7 -	  double v=abs((*actual_map)[i]);
     1.8 +	  double v=fabs((*actual_map)[i]);
     1.9  	  int w;
    1.10  	  if(min==max)
    1.11  	    {