From f9f066e89a5c20f2769fbfb2b6a585af9b3f0561 Mon Sep 17 00:00:00 2001
From: Robert Norton <rmn30@cam.ac.uk>
Date: Fri, 6 Sep 2019 12:39:49 +0100
Subject: Fix rvfi build for cast free prelude.

---
 model/riscv_fetch_rvfi.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/model/riscv_fetch_rvfi.sail b/model/riscv_fetch_rvfi.sail
index c2a5e74..50251e3 100644
--- a/model/riscv_fetch_rvfi.sail
+++ b/model/riscv_fetch_rvfi.sail
@@ -1,7 +1,7 @@
 function fetch() -> FetchResult =
   /* check for legal PC */
-  if   (PC[0] != 0b0 | (PC[1] != 0b0 & (~ (haveRVC()))))
-  then F_Error(E_Fetch_Addr_Align, PC)
+  if   (PC[0] != bitzero | (PC[1] != bitzero & (~ (haveRVC()))))
+  then F_Error(E_Fetch_Addr_Align(), PC)
   else {
     let i = rvfi_instruction.rvfi_insn();
     rvfi_exec->rvfi_order()    = minstret;
-- 
cgit v1.1