--- a/include/timers_driver.h	Mon Feb 18 17:14:22 2008 +0100
+++ b/include/timers_driver.h	Tue Feb 19 14:52:40 2008 +0100
@@ -30,7 +30,7 @@
 // For use from CAN driver
 void EnterMutex(void);
 void LeaveMutex(void);
-void WaitReceiveTaskEnd(TASK_HANDLE);
+void WaitReceiveTaskEnd(TASK_HANDLE*);
 
 // For use from application
 void StartTimerLoop(TimerCallback_t init_callback);