diff --git a/kernel/init.c b/kernel/init.c index 6511946c973..1057cd572c3 100644 --- a/kernel/init.c +++ b/kernel/init.c @@ -403,7 +403,7 @@ static void switch_to_main_thread(void) (void)_Swap(irq_lock()); #endif } -#endif /* CONFIG_MULTITHREDING */ +#endif /* CONFIG_MULTITHREADING */ u32_t z_early_boot_rand32_get(void) {