From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Sep 2012 18:43:06 +0000 (-0700)
Subject: snapshot-interface: debug prints: lengthen the "regionname" field
X-Git-Tag: pldi2013~235^2^2~10
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=68bfcf59477275db784ff4bc588d47622b750afe;p=model-checker.git

snapshot-interface: debug prints: lengthen the "regionname" field
---

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);