action: fix uint64_t printf warning

diff --git a/action.cc b/action.cc
index adb31f8c39aaabfa06f2e954ff9b80e7ef650453..b5c72c0226aa8e562cf80cedd6444e2088bb19ba 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -1,4 +1,6 @@
 #include <stdio.h>
 #include <stdio.h>

+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>

 
 #include "model.h"
 #include "action.h"
 
 #include "model.h"
 #include "action.h"


@@ -180,7 +182,7 @@ void ModelAction::print(void) const
                type_str = "unknown type";
        }
 
                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());
                        seq_number, id_to_int(tid), type_str, order, location, value);
        if (reads_from)
                printf(" Rf: %d", reads_from->get_seq_number());