diff --git a/include/debug.h b/include/debug.h
index d18259bb..2dfa9c6d 100644
--- a/include/debug.h
+++ b/include/debug.h
@@ -23,7 +23,6 @@ bool DEBUG_IntBreakpoint(Bit8u intNum);
 void DEBUG_Enable(void);
 void DEBUG_CheckExecuteBreakpoint(Bit16u seg, Bit32u off);
 bool DEBUG_ExitLoop(void);
-void DEBUG_ShutDown(void);
 
 extern Bitu cycle_count;
 
diff --git a/src/gui/sdlmain.cpp b/src/gui/sdlmain.cpp
index c44e380f..a7353328 100644
--- a/src/gui/sdlmain.cpp
+++ b/src/gui/sdlmain.cpp
@@ -570,9 +570,5 @@ int main(int argc, char* argv[]) {
 		LOG_ERROR("Exit to error: %s",error);
 		fgetc(stdin);
 	}
-#if C_DEBUG
-	DEBUG_ShutDown();
-#endif
-
 	return 0;
 };