From ad9f2cab3d48ef75be206693a0f4159dea6e2c63 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Mon, 11 Jul 2022 14:18:19 +0100
Subject: [PATCH] used RVFI defines as declared in ToReorderBuffer

---
 src_Core/RISCY_OOO/procs/RV64G_OOO/RenameStage.bsv | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src_Core/RISCY_OOO/procs/RV64G_OOO/RenameStage.bsv b/src_Core/RISCY_OOO/procs/RV64G_OOO/RenameStage.bsv
index a979432..b0b6c04 100644
--- a/src_Core/RISCY_OOO/procs/RV64G_OOO/RenameStage.bsv
+++ b/src_Core/RISCY_OOO/procs/RV64G_OOO/RenameStage.bsv
@@ -384,6 +384,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
                                 spec_bits: specTagManager.currentSpecBits
 `ifdef RVFI_DII
                                 , dii_pid: x.dii_pid
+`endif
+`ifdef RVFI
                                 , traceBundle: unpack(0)
 `endif
                                };
@@ -596,6 +598,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
                                 spec_bits: spec_bits
 `ifdef RVFI_DII
                                 , dii_pid: x.dii_pid
+`endif
+`ifdef RVFI
                                 , traceBundle: unpack(0)
 `endif
                                };
@@ -1147,6 +1151,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
                                                 spec_bits: spec_bits
 `ifdef RVFI_DII
                                                 , dii_pid: x.dii_pid
+`endif
+`ifdef RVFI
                                                 , traceBundle: unpack(0)
 `endif
                                                };