From 924b94ede191ef9c844da856e535254c764f4a14 Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Fri, 17 Jun 2016 15:05:37 +0200 Subject: [PATCH] [XBT] Remove unused code --- src/xbt/memory_map.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/xbt/memory_map.cpp b/src/xbt/memory_map.cpp index 9babc54830..0db9b1f962 100644 --- a/src/xbt/memory_map.cpp +++ b/src/xbt/memory_map.cpp @@ -128,8 +128,8 @@ XBT_PRIVATE std::vector get_memory_map(pid_t pid) else if (lfields[1][3] == 's') memreg.flags |= MAP_SHARED; else { - //fprintf(stderr,"%s", line); - xbt_die("Flag was neither 'p' (private) nor 's' (shared). This should have never happened! Instead, the permissions column was set to: %s", lfields[1]); + xbt_die("Flag was neither 'p' (private) nor 's' (shared). This should have never happened! Instead, the permissions column was set to: %s\n" + "This was the whole line that caused the trouble: %s", lfields[1], line); } /* Get the offset value */ -- 2.20.1