Index: kernel/test/print/print5.c
===================================================================
--- kernel/test/print/print5.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/test/print/print5.c	(revision 17c1427397e6ec84fdd0ce49eddfd8c5ffb03b62)
@@ -37,5 +37,5 @@
  *
  */
-#define NVERIFY_PRINTF
+#define _HELENOS_NVERIFY_PRINTF
 
 #include <print.h>