diff --git a/sched.c b/sched.c index c21f40d..f9720c0 100644 --- a/sched.c +++ b/sched.c @@ -459,9 +459,12 @@ SCH_RemoveTimeout(SCH_TimeoutID id) /* Release memory back to the operating system */ release_tqe(ptr); - break; + return; } } + + /* Catch calls with invalid non-zero ID */ + assert(0); } /* ================================================== */