Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 460ea7ed2af9977b884414b68b2f7b94fa472cfd)
@@ -42,5 +42,4 @@
 #include <interrupt.h>
 #include <print.h>
-
 
 /**