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 aa61290..d42d7f5 100644 (file)
--- a/src/xbt/xbt_log_layout_simple.c
+++ b/src/xbt/xbt_log_layout_simple.c
@@ -46,9 +46,9 @@ static int xbt_log_layout_simple_doit(xbt_log_layout_t l,
     check_overflow(len);
   }
   else if (!procname)  {
-       len = snprintf(p, rem_size, "%s::(%d) ",
-                                  gras_os_myname(), xbt_getpid());
-       check_overflow(len);
+  len = snprintf(p, rem_size, "%s::(%d) ",
+           gras_os_myname(), xbt_getpid());
+  check_overflow(len);
   }
 
   /* Display the date */