1 files changed, 1 insertions, 0 deletions
diff --git a/cpu/exetrace.hh b/cpu/exetrace.hh
index 67d042ec8..2f70e26e7 100644
--- a/cpu/exetrace.hh
+++ b/cpu/exetrace.hh
@@ -144,6 +144,7 @@ class InstRecord : public Record
         PRINT_INT_REGS,
         PRINT_FETCH_SEQ,
         PRINT_CP_SEQ,
+        PC_SYMBOL,
         INTEL_FORMAT,
         NUM_BITS
     };