From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 12 Nov 2012 16:33:09 +0000 (+0100)
Subject: model-checker : cosmetics on log message
X-Git-Tag: v3_9_rc1~91^2~119
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3c97a882ab64499bcac27de50bff50029d40a180

model-checker : cosmetics on log message
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index ebc91f99a6..31b34a8a4d 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -81,7 +81,7 @@ static int data_bss_program_region_compare(void *d1, void *d2, size_t size){
       }else{
         if(XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_verbose)){
           XBT_VERB("Different byte (offset=%zu) (%p - %p) in data program region", i, (char *)d1 + i, (char *)d2 + i);
-          XBT_VERB("Addresses pointed : %p - %p\n", addr_pointed1, addr_pointed2);
+          XBT_VERB("Addresses pointed : %p - %p", addr_pointed1, addr_pointed2);
         }
         return 1;
       }
@@ -116,7 +116,7 @@ static int data_bss_libsimgrid_region_compare(void *d1, void *d2, size_t size){
       }else{
         if(XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_verbose)){
           XBT_VERB("Different byte (offset=%zu) (%p - %p) in libsimgrid region", i, (char *)d1 + i, (char *)d2 + i);
-          XBT_VERB("Addresses pointed : %p - %p\n", addr_pointed1, addr_pointed2);
+          XBT_VERB("Addresses pointed : %p - %p", addr_pointed1, addr_pointed2);
         }
         return 1;
       }