changeset 801 | 32d146b64a35 |
parent 793 | 72e9e1064432 |
--- a/drivers/timers_unix/timers_unix.c Tue Mar 20 16:04:52 2018 +0100 +++ b/drivers/timers_unix/timers_unix.c Wed Mar 21 13:33:43 2018 +0100 @@ -6,7 +6,7 @@ #include <time.h> #include <applicfg.h> -#include <timer.h> +#include <timers.h> static pthread_mutex_t CanFestival_mutex = PTHREAD_MUTEX_INITIALIZER;