From 4c99ef123a8728b8adf513dadaa08b2de86414b2 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 1 May 2012 23:48:01 -0700
Subject: [PATCH] model: fixup ModelAction print message

---
 model.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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