X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=d93e5c20dce3203378c2ea9d4f611bb90580686d;hb=32e654a5b04567bc88cd0746e14c8e4aec040375;hp=5d160e1a837da27677bf441efcdc956e8af8a687;hpb=bf7f7645131e1143b7ece3a74a827ace0c7a7304;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 5d160e1..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);
@@ -123,8 +123,8 @@ int SnapshotStack::backTrackBeforeStep(int seqindex) {
 			return stack->index;
 		}
 		struct stackEntry *tmp=stack;
-		MYFREE(tmp);
 		stack=stack->next;
+		MYFREE(tmp);
 	}
 }