fix printf format args
[gpxe.git] / src / core / image.c
index c60373c..d8f96b5 100644 (file)
@@ -2,6 +2,7 @@
 #include "buffer.h"
 #include "load_buffer.h"
 #include "image.h"
+#include <console.h>
 
 static struct image images[0] __image_start;
 static struct image images_end[0] __image_end;