X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Foptions_menu.cpp;h=93ab43d340e21f1ca41d3b8625bc22bd2bee4be6;hb=af79f0712f972a0730f8a0220f927b22d568a196;hp=c4c7ac9a6af096ab20e5ea0ad212d359939dafea;hpb=b8bb8a85f28cce0eaecbcd91ad7ed8fc957ef53f;p=supertux.git

diff --git a/src/options_menu.cpp b/src/options_menu.cpp
index c4c7ac9a6..93ab43d34 100644
--- a/src/options_menu.cpp
+++ b/src/options_menu.cpp
@@ -158,14 +158,13 @@ OptionsMenu::menu_action(MenuItem* item)
 
 Menu* get_options_menu()
 {
-  //if(options_menu == NULL)
+  //static OptionsMenu menu;
   options_menu = new OptionsMenu();
-
   return options_menu;
 }
 
 void free_options_menu()
 {
   delete options_menu;
-  options_menu = NULL;
+  options_menu = 0;
 }