From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 20 Apr 2012 17:15:20 +0000 (+0200)
Subject: model-checker : change XBT_DEBUG for fprintf
X-Git-Tag: v3_7~65^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d044c30cf618bebd25051f0d575b4e99c8b3d831

model-checker : change XBT_DEBUG for fprintf
---

diff --git a/src/mc/memory_map.c b/src/mc/memory_map.c
index b971a47f74..f3c410a5bf 100644
--- a/src/mc/memory_map.c
+++ b/src/mc/memory_map.c
@@ -33,14 +33,12 @@ memory_map_t get_memory_map(void)
   xbt_assert(fp,
               "Cannot open /proc/self/maps to investigate the memory map of the process. Please report this bug.");
 
-  //XBT_DEBUG("/proc/self/maps");
-
   ret = xbt_new0(s_memory_map_t, 1);
 
   /* Read one line at the time, parse it and add it to the memory map to be returned */
   while ((read = getline(&line, &n, fp)) != -1) {
 
-    XBT_DEBUG("%s", line);
+    //fprintf(stderr,"%s", line);
 
     /* Wipeout the new line character */
     line[read - 1] = '\0';