/* This check should be useless and slows everyone. Reactivate if you see something
* weird in process scheduling.
*/
-/* if(!xbt_dynar_member(simix_global->process_to_run, &(simcall->issuer))) */
+ /* if(not xbt_dynar_member(simix_global->process_to_run, &(simcall->issuer))) */
xbt_dynar_push_as(simix_global->process_to_run, smx_actor_t, simcall->issuer);
/* else DIE_IMPOSSIBLE; */
}