model-checker : rename cfg flag for state comparison reduction with storage of visite...

[simgrid.git] / src / xbt / xbt_log_layout_simple.c

diff --git a/src/xbt/xbt_log_layout_simple.c b/src/xbt/xbt_log_layout_simple.c
index 7a81a9c..d42d7f5 100644 (file)
--- a/src/xbt/xbt_log_layout_simple.c
+++ b/src/xbt/xbt_log_layout_simple.c
@@ -45,6 +45,11 @@ static int xbt_log_layout_simple_doit(xbt_log_layout_t l,
                    gras_os_myname(), procname, xbt_getpid());
     check_overflow(len);
   }
+  else if (!procname)  {
+  len = snprintf(p, rem_size, "%s::(%d) ",
+           gras_os_myname(), xbt_getpid());
+  check_overflow(len);
+  }
 
   /* Display the date */
   len = snprintf(p, rem_size, "%f] ",