- if(!xbt_dynar_member(simix_global->process_to_run, &(simcall->issuer)))
- xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, simcall->issuer);
- else
- DIE_IMPOSSIBLE;
+/* 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))) */
+ xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, simcall->issuer);
+/* else DIE_IMPOSSIBLE; */