graph_displayer_canvas-node.cc
branchgui
changeset 55 e4ee805ca5fc
parent 53 e73d7540bd24
child 59 c38925cc6a4d
     1.1 --- a/graph_displayer_canvas-node.cc	Fri Jul 29 12:30:28 2005 +0000
     1.2 +++ b/graph_displayer_canvas-node.cc	Sun Aug 07 14:17:11 2005 +0000
     1.3 @@ -24,7 +24,7 @@
     1.4      {
     1.5        for (NodeIt 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  	    {