--- hatari/src/debug/debug_priv.h	2019/04/09 08:48:37	1.1.1.1
+++ hatari/src/debug/debug_priv.h	2019/04/09 08:53:04	1.1.1.3
@@ -1,8 +1,8 @@
 /*
   Hatari - debug.h
 
-  This file is distributed under the GNU Public License, version 2 or at
-  your option any later version. Read the file gpl.txt for details.
+  This file is distributed under the GNU General Public License, version 2
+  or at your option any later version. Read the file gpl.txt for details.
 
   Internal header used by debugger files.
 */
@@ -26,16 +26,15 @@ extern FILE *debugOutput;
 
 extern void DebugUI_PrintCmdHelp(const char *psCmd);
 
-extern void DebugCpu_SetDebugging(void);
 extern int DebugCpu_Init(const dbgcommand_t **table);
 extern void DebugCpu_InitSession(void);
 
+extern bool DebugUI_ParseFile(const char *path, bool reinit);
+
 #ifdef ENABLE_DSP_EMU
-extern void DebugDsp_SetDebugging(void);
 extern int DebugDsp_Init(const dbgcommand_t **table);
 extern void DebugDsp_InitSession(void);
 #else /* !ENABLE_DSP_EMU */
-#define DebugDsp_SetDebugging()
 static inline int DebugDsp_Init(const dbgcommand_t **t) { t = NULL; return 0; }
 #define DebugDsp_InitSession()
 #endif /* !ENABLE_DSP_EMU */