From e8aa873c2eab09e1e3ef7068bc6bc47d2d5ef0b2 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 23 Jul 2020 11:18:31 +0100
Subject: [PATCH] Prevent 'insufficient type info' warning

---
 src_Core/RISCY_OOO/procs/lib/ReorderBuffer.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/ReorderBuffer.bsv b/src_Core/RISCY_OOO/procs/lib/ReorderBuffer.bsv
index 89dad0e..f2c4f9e 100755
--- a/src_Core/RISCY_OOO/procs/lib/ReorderBuffer.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/ReorderBuffer.bsv
@@ -1251,7 +1251,7 @@ module mkSupReorderBuffer#(
         InstTag x, CapMem vaddr, Data store_data, ByteEn store_data_BE, Bool access_at_commit,
         Bool non_mmio_st_done
 `ifdef RVFI
-        , tb
+        , ExtraTraceBundle tb
 `endif
     ) if(
         all(id, readVReg(setExeMem_SB_enq)) // ordering: < enq