From f7c976ed5937b0d957b14a9c68404855a33a117d Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 8 Jun 2013 19:40:41 +0200
Subject: [PATCH] model-checker : free memory

---
 src/mc/mc_request.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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);
-- 
2.20.1