From 73b09ecba6dad0070e106a74eeed4bc388d60e02 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Fri, 19 Jan 2007 01:13:12 +0000
Subject: Use stdio.h instead of vsprintf.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 95662b501..b14af5426 100644
--- a/src/hci/shell.c
+++ b/src/hci/shell.c
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <vsprintf.h>
+#include <stdio.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>
-- 
cgit v1.2.3-55-g7522