From: Brian Norris <banorris@uci.edu>
Date: Wed, 2 May 2012 06:48:01 +0000 (-0700)
Subject: model: fixup ModelAction print message
X-Git-Tag: pldi2013~473
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4c99ef123a8728b8adf513dadaa08b2de86414b2;p=model-checker.git

model: fixup ModelAction print message
---

diff --git a/model.cc b/model.cc
index 18d7dd8..9117780 100644
--- a/model.cc
+++ b/model.cc
@@ -331,5 +331,6 @@ void ModelAction::print(void)
 		type_str = "unknown type";
 	}
 
-	printf("Thread: %d\tAction: %s\tMO: %d\tLoc: %#014zx\tValue: %d\n", id_to_int(tid), type_str, order, (size_t)location, value);
+	printf("Thread: %d\tAction: %s\tMO: %d\tLoc: %14p\tValue: %d\n",
+			id_to_int(tid), type_str, order, location, value);
 }