From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 3 Apr 2013 13:56:28 +0000 (+0200)
Subject: model-checker : display address of communication in Wait request if verbose log
X-Git-Tag: v3_9_90~412^2~59
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9002b58078f72d95a7c56d9d774f108195c6e706

model-checker : display address of communication in Wait request if verbose log
---

diff --git a/examples/msg/mc/chord/chord_liveness.h b/examples/msg/mc/chord/chord_liveness.h
deleted file mode 100644
index e522b77e32..0000000000
--- a/examples/msg/mc/chord/chord_liveness.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#ifndef _CHORD_LIVENESS_H
-#define _CHORD_LIVENESS_H
-
-int predJoin(void);
-
-#endif
diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index f92580b157..95b4b9ec71 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -195,7 +195,7 @@ char *MC_request_to_string(smx_simcall_t req, int value)
     if(value == -1){
       type = xbt_strdup("WaitTimeout");
       p = pointer_to_string(act);
-      args = bprintf("comm=%p", p);
+      args = bprintf("comm=%s", p);
     }else{
       type = xbt_strdup("Wait");
       p = pointer_to_string(act);