drivers/timers_rtai/timers_rtai.c
changeset 801 32d146b64a35
parent 468 787a54d068d6
--- a/drivers/timers_rtai/timers_rtai.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/timers_rtai/timers_rtai.c	Wed Mar 21 13:33:43 2018 +0100
@@ -11,7 +11,7 @@
 
 #include "applicfg.h"
 #include "can_driver.h"
-#include "timer.h"
+#include "timers.h"
 
 #define TIMERLOOP_TASK_CREATED        1