X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e276e9953a9ab5894bbb623fc17ec79512efab5d..20d5d4cbcb5580189461745935712009a7afbce5:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index c4b4b15a54..c29198cf41 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -231,7 +231,7 @@ void MC_wait_for_requests(void)
   do {
     SIMIX_context_runall(simix_global->process_to_run);
     while((req = SIMIX_request_pop())){
-      if(!SIMIX_request_isVisible(req))
+      if(!SIMIX_request_is_visible(req))
         SIMIX_request_pre(req);
       else if(req->call == REQ_COMM_WAITANY)
         THROW_UNIMPLEMENTED;
@@ -283,4 +283,4 @@ void MC_show_deadlock(smx_req_t req)
   xbt_free(req_str);
   INFO0("Counter-example execution trace:");
   MC_dump_stack(mc_stack);
-}
\ No newline at end of file
+}