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 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -42,5 +42,4 @@
 #include <interrupt.h>
 #include <print.h>
-
 
 /**