changeset 1632 | 93ac8c521fe5 |
parent 1606 | dc4ea2010dee |
child 1777 | a70cee06ae9c |
1.1 --- a/gui/graph_displayer_canvas-zoom.cc Tue Aug 16 19:06:59 2005 +0000 1.2 +++ b/gui/graph_displayer_canvas-zoom.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 void GraphDisplayerCanvas::zoomIn() 1.10 {