X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b6aaebb41faacd98894520d95f3cf18ab9fb0167..a046023f73983299e09f2ddab1c508e645eccb8b:/src/mc/mc_request.c

diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index 3a7e5f55ef..970800c5d5 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -2,6 +2,9 @@
 
 int MC_request_depend(smx_req_t r1, smx_req_t r2)
 {
+  if(_surf_do_model_check == 2)
+    return TRUE;
+
   if (r1->issuer == r2->issuer)
     return FALSE;