X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Ftimer.cpp;h=9c94f581c421cf1fc606be0d67cae8059a919e0c;hb=80acfab92ae7bdb38609bb74565ccac5dd329a2b;hp=6e9d3d0359f8b8174e3205c6a60fe010aa2ed87d;hpb=7c579d3ef0a6667c18b53dad84c63c05d2760a84;p=supertux.git

diff --git a/src/timer.cpp b/src/timer.cpp
index 6e9d3d035..9c94f581c 100644
--- a/src/timer.cpp
+++ b/src/timer.cpp
@@ -19,7 +19,7 @@
 //  02111-1307, USA.
 #include <config.h>
 
-#include <cmath>
+#include <math.h>
 #include "timer.hpp"
 
 float game_time = 0;