From 71a1abe602a338daea01a0c0ec22db32b2f6a6a8 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Tue, 16 Jul 2019 23:42:10 +0200
Subject: [PATCH] Add missing RVFI port

---
 servant/servant.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/servant/servant.v b/servant/servant.v
index 4d1bbd2..8dabc96 100644
--- a/servant/servant.v
+++ b/servant/servant.v
@@ -158,6 +158,7 @@ serv_arbiter serv_arbiter
       .rvfi_halt      (),
       .rvfi_intr      (),
       .rvfi_mode      (),
+      .rvfi_ixl       (),
       .rvfi_rs1_addr  (),
       .rvfi_rs2_addr  (),
       .rvfi_rs1_rdata (),