Really, Really fix issue 0000141. Maybe broke the coin toss animation.
[supertux.git] / src / game_session.hpp
index 4e76139..4143286 100644 (file)
@@ -85,7 +85,7 @@ public:
    * resources for the current level/world
    */
   std::string get_working_directory();
-  void restart_level(bool fromBeginning = true);
+  void restart_level();
 
   void toggle_pause();