From 75430e813e35c68a3c1b2484f6aa668da220455b Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Wed, 20 Dec 2006 05:33:12 +0000
Subject: Only need printf(), so use vsprintf.h instead of console.h

---
 src/hci/shell.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hci/shell.c')

diff --git a/src/hci/shell.c b/src/hci/shell.c
index 3b1493fe9..2a9bfca43 100644
--- a/src/hci/shell.c
+++ b/src/hci/shell.c
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <console.h>
+#include <vsprintf.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>
-- 
cgit v1.2.3-55-g7522