From 5320d3f7abf36b176cd4df17c28fd5b012ebb155 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Mon, 31 Mar 2014 18:37:37 +0200
Subject: [PATCH] Cleanup

---
 kernel/src/scheduler.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);