src/timer.c
changeset 801 32d146b64a35
parent 629 b9274b595650
--- a/src/timer.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/src/timer.c	Wed Mar 21 13:33:43 2018 +0100
@@ -33,7 +33,7 @@
 /* #define DEBUG_ERR_CONSOLE_ON */
 
 #include <applicfg.h>
-#include "timer.h"
+#include "timers.h"
 
 /*  ---------  The timer table --------- */
 s_timer_entry timers[MAX_NB_TIMER] = {{TIMER_FREE, NULL, NULL, 0, 0, 0},};