diff --git a/kernel/src/scheduler.cpp b/kernel/src/scheduler.cpp
index 59b303c7..42936e7d 100644
--- a/kernel/src/scheduler.cpp
+++ b/kernel/src/scheduler.cpp
@@ -546,7 +546,7 @@ void reschedule(){
     auto& process = pcb[current_pid];
 
     //The process just got blocked or put to sleep, choose another one
-    if(process.state != process_state::RUNNING){
+    if(process.state != scheduler::process_state::RUNNING){
         auto index = select_next_process();
 
         switch_to_process(index);