update scheduler.h

3 years ago · 680879eca1
parent 1180fb68cd
commit 680879eca1
1 changed files with 1 additions and 0 deletions
--- a/runtime/include/scheduler.h
+++ b/runtime/include/scheduler.h
@ -23,6 +23,7 @@
 #include "sandbox_set_as_interrupted.h"
 #include "sandbox_set_as_running_user.h"
 #include "scheduler_options.h"
+#include "sandbox_set_as_init.h"

 extern thread_local bool get_first_request;
 /**