From: Brian Norris <banorris@uci.edu>
Date: Tue, 17 Jul 2012 05:07:26 +0000 (-0700)
Subject: action: fix uint64_t printf warning
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=4dcaad44db966a0e34593544b9d3ae45b6253b27

action: fix uint64_t printf warning
---

diff --git a/action.cc b/action.cc
index adb31f8c..b5c72c02 100644
--- a/action.cc
+++ b/action.cc
@@ -1,4 +1,6 @@
 #include <stdio.h>
+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>
 
 #include "model.h"
 #include "action.h"
@@ -180,7 +182,7 @@ void ModelAction::print(void) const
 		type_str = "unknown type";
 	}
 
-	printf("(%3d) Thread: %-2d    Action: %-13s    MO: %d    Loc: %14p    Value: %-8u",
+	printf("(%3d) Thread: %-2d    Action: %-13s    MO: %d    Loc: %14p    Value: %-12" PRIu64,
 			seq_number, id_to_int(tid), type_str, order, location, value);
 	if (reads_from)
 		printf(" Rf: %d", reads_from->get_seq_number());