--- previous/src/reset.c	2018/04/24 19:25:10	1.1
+++ previous/src/reset.c	2018/04/24 19:25:34	1.1.1.2
@@ -17,6 +17,7 @@ const char Reset_fileid[] = "Hatari rese
 #include "screen.h"
 #include "nextMemory.h"
 #include "video.h"
+#include "debugcpu.h"
 
 
 /*-----------------------------------------------------------------------*/
@@ -37,6 +38,7 @@ static int Reset_ST(bool bCold)
 
 		Screen_Reset();               /* Reset screen */
 	M68000_Reset(bCold);          /* Reset CPU */
+    DebugCpu_SetDebugging();      /* Re-set debugging flag if needed */
 
 	return 0;
 }