drivers/win32/win32.c
changeset 801 32d146b64a35
parent 777 bbbfd27c1bd1
--- a/drivers/win32/win32.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/win32/win32.c	Wed Mar 21 13:33:43 2018 +0100
@@ -33,7 +33,7 @@
 #endif
 
 #include "canfestival.h"
-#include "timer.h"
+#include "timers.h"
 #include "timers_driver.h"
 
 #ifdef __cplusplus