removed unneeded include

diff --git a/armsrc/printf.h b/armsrc/printf.h
index 03f4688d94547f79596da63dcfd4496f534fcac3..1b389ddb1e43dceba53d35d0ce2a45880305b455 100644 (file)
--- a/armsrc/printf.h
+++ b/armsrc/printf.h
@@ -13,7 +13,7 @@
 
 #include <stdarg.h>
 #include <stddef.h>
-#include "util.h"
+//#include "util.h"
 #include "string.h"
 
 int kvsprintf(const char *format, void *arg, int radix, va_list ap) __attribute__ ((format (printf, 1, 0)));