diff options
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index 67b3bf84938..150156ddae9 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -95,6 +95,7 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { // Create the main scheduler and the main task rust_sched_id sched_id = kernel->create_scheduler(env->num_sched_threads); rust_scheduler *sched = kernel->get_scheduler_by_id(sched_id); + assert(sched != NULL); rust_task *root_task = sched->create_task(NULL, "main"); // Build the command line arguments to pass to the root task |