fix up sb600 and it8712f tree.

[coreboot.git] / src / console / vsprintf.c

diff --git a/src/console/vsprintf.c b/src/console/vsprintf.c
index 090063cf6257f3e1c05f80e219e7b99ef0d6c493..7407c420ab19823dec07923bf2002bc153a34642 100644 (file)
--- a/src/console/vsprintf.c
+++ b/src/console/vsprintf.c
@@ -19,7 +19,6 @@
  * MA 02110-1301 USA
  */
 
-#include <stdarg.h>
 #include <string.h>
 #include <smp/spinlock.h>
 #include <console/vtxprintf.h>