branch | gui |
changeset 59 | c38925cc6a4d |
parent 55 | e4ee805ca5fc |
child 62 | 80eefca04b1e |
1.1 --- a/graph_displayer_canvas-edge.cc Sun Aug 07 22:14:59 2005 +0000 1.2 +++ b/graph_displayer_canvas-edge.cc Tue Aug 16 20:07:14 2005 +0000 1.3 @@ -1,6 +1,6 @@ 1.4 #include "graph_displayer_canvas.h" 1.5 #include "broken_edge.h" 1.6 -#include <math.h> 1.7 +#include <cmath> 1.8 1.9 1.10 int GraphDisplayerCanvas::changeEdgeWidth (std::string mapname, Graph::Edge edge)