diff --git a/sched/wqueue/kwork_thread.c b/sched/wqueue/kwork_thread.c
index f7ed920cc49..affcf970f8d 100644
--- a/sched/wqueue/kwork_thread.c
+++ b/sched/wqueue/kwork_thread.c
@@ -29,6 +29,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
+#include <assert.h>
 #include <errno.h>
 #include <queue.h>
 #include <debug.h>