diff --git a/sched/os_start.c b/sched/os_start.c
index 440fdb6c3a..6f36f58a62 100644
--- a/sched/os_start.c
+++ b/sched/os_start.c
@@ -438,8 +438,8 @@ void os_start(void)
   g_worker = task_create("work", CONFIG_SCHED_WORKPRIORITY,
                          CONFIG_SCHED_WORKSTACKSIZE,
                          (main_t)work_thread, (const char **)NULL);
-#endif
   ASSERT(g_worker != ERROR);
+#endif
 
   /* Once the operating system has been initialized, the system must be
    * started by spawning the user init thread of execution.