renamed timer_type to Timer
[supertux.git] / src / button.h
index 53dc828..a6850fe 100644 (file)
@@ -42,7 +42,7 @@ class Button
     }
 
   private:
-    static timer_type popup_timer;
+    static Timer popup_timer;
     texture_type icon;
     texture_type* bkgd;
     std::string info;