Index: uspace/app/top/screen.h
===================================================================
--- uspace/app/top/screen.h	(revision 2d37006ac345fed37d72ab244a3e5b2dfb9f3727)
+++ uspace/app/top/screen.h	(revision 03362fbdd97fb8df65b78ada498e07140aaa9080)
@@ -36,4 +36,5 @@
 
 #include <io/console.h>
+#include <io/verify.h>
 #include "top.h"
 
@@ -43,5 +44,6 @@
 extern void screen_done(void);
 extern void print_data(data_t *);
-extern void show_warning(const char *, ...);
+extern void show_warning(const char *, ...)
+    PRINTF_ATTRIBUTE(1, 2);
 
 extern int tgetchar(unsigned int);