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