diff --git a/src/backend/dynamic_process.cc b/src/backend/dynamic_process.cc
index 6f99817..6ef88c6 100644
--- a/src/backend/dynamic_process.cc
+++ b/src/backend/dynamic_process.cc
@@ -84,6 +84,7 @@ DynamicProcess::get_state() const
 
     // TODO Is this OK? Must be tested...
 
+    int thread_starts_at;
     switch(thread_state)
     {
     case state_running: // (a)
@@ -96,7 +97,7 @@ DynamicProcess::get_state() const
       continue;
     case state_future:  // (d)
       result = state_future;
-      int thread_starts_at = (*it)->get_arrival_time();
+      thread_starts_at = (*it)->get_arrival_time();
       if(next_thread_starts_at == uninitialized) // (d1)
         next_thread_starts_at = thread_starts_at;
       else