diff options
Diffstat (limited to 'src/common/timer.c')
| -rw-r--r-- | src/common/timer.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/common/timer.c b/src/common/timer.c index 09be7d949..2a7dba676 100644 --- a/src/common/timer.c +++ b/src/common/timer.c @@ -137,8 +137,7 @@ unsigned int gettick(void) /*====================================== * CORE : Timer Heap - *-------------------------------------- - */ + *--------------------------------------*/ /// Adds a timer to the timer_heap static void push_timer_heap(int tid) { @@ -197,8 +196,7 @@ static void push_timer_heap(int tid) /*========================== * Timer Management - *-------------------------- - */ + *--------------------------*/ /// Returns a free timer id. static int acquire_timer(void) |