# HG changeset patch
# User Edouard Tisserant
# Date 1520517784 -3600
# Node ID 6bafede3de2b34fd834e6aca57d0b4aa2f5425e5
# Parent  12340b4ea907004e51a5052a82145ef7b3adec6c
Update timers_xeno/timerscfg.h to Xenomai 3 API

diff -r 12340b4ea907 -r 6bafede3de2b include/timers_xeno/timerscfg.h
--- a/include/timers_xeno/timerscfg.h	Thu Mar 08 14:55:01 2018 +0100
+++ b/include/timers_xeno/timerscfg.h	Thu Mar 08 15:03:04 2018 +0100
@@ -23,12 +23,12 @@
 #ifndef __TIMERSCFG_H__
 #define __TIMERSCFG_H__
 
-#include <native/task.h>
-#include <native/timer.h>
-#include <native/mutex.h>
-#include <native/cond.h>
-#include <native/sem.h>
-#include <native/alarm.h>
+#include <alchemy/task.h>
+#include <alchemy/timer.h>
+#include <alchemy/mutex.h>
+#include <alchemy/cond.h>
+#include <alchemy/sem.h>
+#include <alchemy/alarm.h>
 
 // Time unit : ns
 // Time resolution : 64bit (~584 years)