diff --git a/c/src/lib/libcpu/powerpc/mpc6xx/timer/timer.c b/c/src/lib/libcpu/powerpc/mpc6xx/timer/timer.c
index 2b3395cd09..2131b6017d 100644
--- a/c/src/lib/libcpu/powerpc/mpc6xx/timer/timer.c
+++ b/c/src/lib/libcpu/powerpc/mpc6xx/timer/timer.c
@@ -21,7 +21,6 @@
 #include <assert.h>
 #include <libcpu/powerpc-utility.h>
 
-
 uint64_t   Timer_driver_Start_time;
 
 bool benchmark_timer_find_average_overhead = false;