Index: firmware/stub/include/biosincludes.h |
diff --git a/firmware/stub/include/biosincludes.h b/firmware/stub/include/biosincludes.h |
index fe49d24bd0005a9029f9904a3e93fee2e095ea59..718361af998059b85d8f5d95fc688e47770709f0 100644 |
--- a/firmware/stub/include/biosincludes.h |
+++ b/firmware/stub/include/biosincludes.h |
@@ -26,7 +26,7 @@ typedef unsigned size_t; |
#define UINT64_C(x) ((uint64_t)x) |
#define __attribute__(x) |
-#define PRIu64 "%ll" |
+#define PRIu64 "ll" |
extern void debug(const char *format, ...); |
#define POSSIBLY_UNUSED |