1 files changed, 0 insertions, 1 deletions
diff --git a/console.c b/console.c
index 2bb5dc646..d6b60616f 100644
--- a/console.c
+++ b/console.c
@@ -10,7 +10,6 @@
 #include "player.h"
 #include "variables.h"
 #include "string.h"
-#include "hal.h"
 #include <stdarg.h>
 #include <string.h>
 #include "console.h"