debug.h: fix mistake in debug() printf __attribute__

2022-01-14 12:47:05 +01:00
parent 8a67ac0321
commit e3382ef3dd
1 changed files with 3 additions and 3 deletions
--- a/2021/include/debug.h
+++ b/2021/include/debug.h
@@ -26,7 +26,7 @@
 void debug_init(u32 level);
 void debug_level_set(u32 level);
 void debug_devel_set(u32 level);
-void _printf ((format (printf, 6, 7))) debug(u32 level, bool timestamp,
+void _printf debug(u32 level, bool timestamp,
                   u32 indent, const char *src,
                   u32 line, const char *, ...);
 #else  /* DEBUG_DEBUG */