X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;fp=snapshot-interface.cc;h=d93e5c20dce3203378c2ea9d4f611bb90580686d;hb=68bfcf59477275db784ff4bc588d47622b750afe;hp=072c1f959ac07c256129248174665a33fb5e7b30;hpb=21d42a641226da15d191e45d6a8b92b160aeb07d;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 072c1f9..d93e5c2 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -93,7 +93,7 @@ static void SnapshotGlobalSegments(){
 			size_t len = ((uintptr_t)end - (uintptr_t)begin) / PAGESIZE;
 			if (len != 0)
 				addMemoryRegionToSnapShot(begin, len);
-			DEBUG("%45s: %18p - %18p\t%c%c%c%c\n", regionname, begin, end, r, w, x, p);
+			DEBUG("%55s: %18p - %18p\t%c%c%c%c\n", regionname, begin, end, r, w, x, p);
 		}
 	}
 	fclose(map);