XBT_INFO("Activity '%s' (at position %d) is complete", pending_executions[pos]->get_cname(), pos);
pending_executions.erase(pending_executions.begin() + pos);
}
XBT_INFO("Activity '%s' (at position %d) is complete", pending_executions[pos]->get_cname(), pos);
pending_executions.erase(pending_executions.begin() + pos);
}