--- a/console.c	Sat Dec 24 20:53:02 2005 +0000
+++ b/console.c	Sat Dec 24 20:54:31 2005 +0000
@@ -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"