- set = model->states.failed_action_set;
- while ((action = xbt_swag_extract(set)))
- SIMIX_simcall_post((smx_action_t) action->data);
- set = model->states.done_action_set;
+ while ((action = surf_model_extract_failed_action_set(model)))
+
+ SIMIX_simcall_post((smx_action_t) surf_action_get_data(action));