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 (),