Changed to use the generic stream API.
[people/xl0/gpxe.git] / src / hci / commands / dhcp_cmd.c
index 8cfd428..208f355 100644 (file)
@@ -18,8 +18,8 @@
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <getopt.h>
-#include <vsprintf.h>
 #include <gpxe/netdevice.h>
 #include <gpxe/command.h>
 #include <usr/dhcpmgmt.h>