X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgame_session.hpp;h=4143286c358a05408c46c9fdf54adeda2a7270fb;hb=ffaadd80066a2a0f8c30d58ef3466f79e98254d7;hp=87d0b3e0a34e4c2682630fb7a0aa969dc9b1ea43;hpb=f2d345c3ccec7743e39df2f59e546ad415257b81;p=supertux.git

diff --git a/src/game_session.hpp b/src/game_session.hpp
index 87d0b3e0a..4143286c3 100644
--- a/src/game_session.hpp
+++ b/src/game_session.hpp
@@ -65,7 +65,7 @@ public:
   void set_reset_point(const std::string& sectorname, const Vector& pos);
   std::string get_reset_point_sectorname()
   { return reset_sector; }
-  
+
   Vector get_reset_point_pos()
   { return reset_pos; }
 
@@ -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();