--- hatari/src/debug/console.c	2019/04/09 08:56:47	1.1.1.3
+++ hatari/src/debug/console.c	2019/04/09 08:59:18	1.1.1.4
@@ -12,7 +12,6 @@ const char Console_fileid[] = "Hatari co
 
 #include <stdio.h>
 #include <string.h>
-#include <SDL.h>
 
 #include "main.h"
 #include "m68000.h"