Index: kernel/generic/include/printf/verify.h
===================================================================
--- kernel/generic/include/printf/verify.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/printf/verify.h	(revision 0abc2aea144199fee5fb2b5b1ffcf9f0ac6528ce)
@@ -36,6 +36,4 @@
 #define KERN_PRINTF_VERIFY_H_
 
-#ifndef _HELENOS_NVERIFY_PRINTF
-
 #ifdef __clang__
 #define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
@@ -46,11 +44,4 @@
 #endif
 
-
-#else /* _HELENOS_NVERIFY_PRINTF */
-
-#define _HELENOS_PRINTF_ATTRIBUTE(start, end)
-
-#endif /* _HELENOS_NVERIFY_PRINTF */
-
 #endif