diff -r f99251c8e48a -r ec219f29901b console.c
--- 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"