Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/test/fault/fault1.c	(revision 3f2177ec3c014007b443a285b62e08c76358c767)
@@ -37,6 +37,5 @@
 #include <arch.h>
 
-
-char * test_fault1(bool quiet)
+char *test_fault1(void)
 {
 	((int *)(0))[1] = 0;