From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 10 Aug 2013 10:29:45 +0000 (+0200)
Subject: model-checker : udpate debug information
X-Git-Tag: v3_9_90~128^2~20
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ad8867933b08821b82e8ba42d807445f18b2764d

model-checker : udpate debug information
---

diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index 23ca6ee6a7..2e8a8149bc 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -274,9 +274,9 @@ char *MC_request_to_string(smx_simcall_t req, int value)
   }
 
   if(args != NULL){
-    str = bprintf("[(%lu)%s (%s)] %s(%d) (%s)", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type, req->call, args);
+    str = bprintf("[(%lu)%s (%s)] %s(%s) (%d)", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type, args, req->call);
   }else{
-    str = bprintf("[(%lu)%s (%s)] %s(%d) ", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type, req->call);
+    str = bprintf("[(%lu)%s (%s)] %s (%d) ", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type, req->call);
   }
 
   xbt_free(args);