Regenerate with the lastest Flex

[simgrid.git] / src / surf / cpu_cas01.cpp

diff --git a/src/surf/cpu_cas01.cpp b/src/surf/cpu_cas01.cpp
index b59498075f8f55da872b91d248e185086336e027..344e8ca37ede3eb666640aba58d9942c757ebb03 100644 (file)
--- a/src/surf/cpu_cas01.cpp
+++ b/src/surf/cpu_cas01.cpp
@@ -131,7 +131,7 @@ void CpuCas01::apply_event(tmgr_trace_event_t event, double value)
 
     if (value > 0) {
       if (is_off()) {
-        host_that_restart.push_back(get_host());
+        XBT_VERB("Restart processes on host %s", get_host()->get_cname());
         get_host()->turn_on();
       }
     } else {