diff --git a/c/src/exec/posix/src/ptimer.c b/c/src/exec/posix/src/ptimer.c index ff65297f96..ac11a5cd37 100644 --- a/c/src/exec/posix/src/ptimer.c +++ b/c/src/exec/posix/src/ptimer.c @@ -191,6 +191,8 @@ void _POSIX_Timer_Manager_initialization ( int max_timers ) for (index=0; index