- Type* type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- Value* val = Value::get("task_execute", type);
- new PushStateEvent(MSG_get_clock(), process_container, type, val);
+ simgrid::instr::Type* type = PJ_type_get("MSG_PROCESS_STATE", process_container->type);
+ simgrid::instr::Value* val = simgrid::instr::Value::get("task_execute", type);
+ new simgrid::instr::PushStateEvent(MSG_get_clock(), process_container, type, val);