From 3c97a882ab64499bcac27de50bff50029d40a180 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 12 Nov 2012 17:33:09 +0100 Subject: [PATCH 1/1] model-checker : cosmetics on log message --- src/mc/mc_compare.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; } -- 2.20.1