From 02bbeb717791432f1c51ec2b3a7721d2670c0f82 Mon Sep 17 00:00:00 2001
From: Eric Tang <e_l_tang@outlook.com>
Date: Tue, 26 Jun 2018 22:13:13 -0700
Subject: [PATCH] Fix the formatting in timer.c

---
 right/src/timer.c | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/right/src/timer.c b/right/src/timer.c
index 43779cd..671ec06 100644
--- a/right/src/timer.c
+++ b/right/src/timer.c
@@ -1,14 +1,11 @@
 #include "fsl_pit.h"
 #include "timer.h"
 
-static volatile uint32_t CurrentTime;
-
-static volatile uint32_t delayLength;
+static volatile uint32_t currentTime, delayLength;
 
 void PIT_TIMER_HANDLER(void)
 {
-    CurrentTime++;
-
+    currentTime++;
     if (delayLength) {
         --delayLength;
     }
@@ -31,24 +28,24 @@ void Timer_Init(void)
 }
 
 uint32_t Timer_GetCurrentTime() {
-    return CurrentTime;
+    return currentTime;
 }
 
 void Timer_SetCurrentTime(uint32_t *time)
 {
-    *time = CurrentTime;
+    *time = currentTime;
 }
 
 uint32_t Timer_GetElapsedTime(uint32_t *time)
 {
-    uint32_t elapsedTime = CurrentTime - *time;
+    uint32_t elapsedTime = currentTime - *time;
     return elapsedTime;
 }
 
 uint32_t Timer_GetElapsedTimeAndSetCurrent(uint32_t *time)
 {
     uint32_t elapsedTime = Timer_GetElapsedTime(time);
-    *time = CurrentTime;
+    *time = currentTime;
     return elapsedTime;
 }