diff --git a/sched/sched/sched_waitpid.c b/sched/sched/sched_waitpid.c index d13b718964..92d4d10637 100644 --- a/sched/sched/sched_waitpid.c +++ b/sched/sched/sched_waitpid.c @@ -424,7 +424,6 @@ pid_t nx_waitpid(pid_t pid, int *stat_loc, int options) /* Recover the exiting child */ child = group_find_child(rtcb->group, info.si_pid); - DEBUGASSERT(child != NULL); /* Discard the child entry, if we have one */