Fixed segfault with Xenomai timer_xeno.c

diff --git a/drivers/timers_xeno/timers_xeno.c b/drivers/timers_xeno/timers_xeno.c
index 13f6668903dd61df0916431a21f25ca7424df3e3..0cb35976b09ce1a3b072176a8c8be14c806cece9 100644 (file)
--- a/drivers/timers_xeno/timers_xeno.c
+++ b/drivers/timers_xeno/timers_xeno.c
@@ -107,7 +107,7 @@ void CreateReceiveTask(CAN_PORT fd0, TASK_HANDLE *ReceiveLoop_task, void* Receiv
                return;
        }
        // start timerloop_task
-       ret = rt_task_start(ReceiveLoop_task,&ReceiveLoop_task_proc,(void*)fd0);
+       ret = rt_task_start(ReceiveLoop_task,ReceiveLoop_task_proc,(void*)fd0);
        if (ret) {
                printf("Failed to start ReceiveLoop_task number %d, code %d\n", id, errno);
                return;