src: trying to correct a bug with timeout

joaocgreis · Nov 21, 2015 · 72a5391 · 72a5391
1 parent eeef355
commit 72a5391
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core_zone_exec.h b/src/core_zone_exec.h
@@ -857,7 +857,7 @@ class ExecutingExternallyControlledBenchmark
     void
     phase_exec_2 (Time const& now)
     {
-      /* waiting_for_omf_complete_ = false; */
+      waiting_for_omf_complete_ = false;
       /* goal_initial_state_.clear(); */
       /* goal_switches_.clear(); */
       /* on_switches_.clear(); */