From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 8 Jun 2013 17:40:41 +0000 (+0200)
Subject: model-checker : free memory
X-Git-Tag: v3_9_90~305
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f7c976ed5937b0d957b14a9c68404855a33a117d

model-checker : free memory
---

diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index 9b7e0608c1..3e0385983b 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -271,10 +271,11 @@ char *MC_request_to_string(smx_simcall_t req, int value)
 
   if(args != NULL){
     str = bprintf("[(%lu)%s (%s)] %s (%s)", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type, args);
-    xbt_free(args);
   }else{
     str = bprintf("[(%lu)%s (%s)] %s ", req->issuer->pid , MSG_host_get_name(req->issuer->smx_host), req->issuer->name, type);
   }
+
+  xbt_free(args);
   xbt_free(type);
   xbt_free(p);
   xbt_free(bs);