diff --git a/src/timers.c b/src/timers.c
index 9b6b32251d8efd2890ed3855b5e9b87c15978784..9ab1ae09c740028bee6eb44ebfd0466bb3ba9406 100644
--- a/src/timers.c
+++ b/src/timers.c
@@ -83,12 +83,9 @@ char *timers_names[timer_count] = {
  *
  * To reset all timers, use the mask #timers_mask_all.
  */
-
 void timers_reset(unsigned long long mask) {
 
-  int k;
-
   /* Loop over the timers and set the masked ones to zero. */
-  for (k = 0; k < timer_count; k++)
+  for (int k = 0; k < timer_count; k++)
     if (mask & (1ull << k)) timers[k] = 0;
 }