X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fsupertux.cpp;h=81856f6e638e6778afad4a15a3e975ca94e42fe5;hb=b47938ec825a6bbf5ef8f49f0f893d2647a79c71;hp=77ea138fe1a01324a64fb0351063ed3a187fd409;hpb=6f801c22d97251799740317fb1d0caf2e744b321;p=supertux.git

diff --git a/src/supertux.cpp b/src/supertux.cpp
index 77ea138fe..81856f6e6 100644
--- a/src/supertux.cpp
+++ b/src/supertux.cpp
@@ -25,7 +25,6 @@
 #include <exception>
 #include <locale.h>
 
-#include "utils/exceptions.h"
 #include "defines.h"
 #include "app/globals.h"
 #include "app/setup.h"
@@ -94,14 +93,11 @@ int main(int argc, char * argv[])
     unloadshared();
     Setup::general_free();
     st_menu_free();
-    TileManager::destroy_instance();
 #ifdef DEBUG
     Surface::debug_check();
 #endif
     Termination::shutdown();
 #ifndef DEBUG  // we want to see the backtrace in gdb when in debug mode
-  } catch (SuperTuxException &e) {
-    std::cerr << "Unhandled SuperTux exception:\n  " << e.what_file() << ":" << e.what_line() << ": " << e.what() << std::endl;
   } catch (std::exception &e) {
     std:: cerr << "Unhandled exception: " << e.what() << std::endl;
   }