X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7a2239ec54871d5915bcda2805058dda328b5795..c978b9fe22c4e00793169fbe9d5f22825b96f894:/src/surf/cpu.cpp

diff --git a/src/surf/cpu.cpp b/src/surf/cpu.cpp
index 5d870ef1c5..7364db1907 100644
--- a/src/surf/cpu.cpp
+++ b/src/surf/cpu.cpp
@@ -68,7 +68,7 @@ void CpuModel::updateActionsStateFull(double now, double delta)
   xbt_swag_t running_actions = p_runningActionSet;
 
   xbt_swag_foreach_safe(_action, _next_action, running_actions) {
-    action = (ActionLmmPtr) _action;
+    action = dynamic_cast<ActionLmmPtr>(static_cast<ActionPtr>(_action));
 #ifdef HAVE_TRACING
     if (TRACE_is_enabled()) {
       CpuPtr x = (CpuPtr) lmm_constraint_id(lmm_get_cnst_from_var