From 54456b5f50f739dc4e8b327e8bf3b9fd284bea54 Mon Sep 17 00:00:00 2001
From: Alexandre Joannou <aj443@cam.ac.uk>
Date: Fri, 21 Oct 2022 09:50:49 +0000
Subject: [PATCH] Fix the non-rvfi_dii build

---
 src_Core/Core/CoreW.bsv | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src_Core/Core/CoreW.bsv b/src_Core/Core/CoreW.bsv
index 363d2d4..59eda10 100644
--- a/src_Core/Core/CoreW.bsv
+++ b/src_Core/Core/CoreW.bsv
@@ -638,7 +638,11 @@ module mkCoreW_reset #(Reset porReset)
 `endif
 */
 
+`ifdef RVFI_DII
    return tuple3 (innerReset, proc.rvfi_dii_server, ifc);
+`else
+   return tuple2 (innerReset, ifc);
+`endif
 endmodule: mkCoreW_reset
 
 // ================================================================