From af5c2f2647f1d4f6985f3590fb3f881de6b348cd Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Sat, 18 May 2024 00:37:30 -0700
Subject: Update bitfield syntax

---
 model/riscv_vmem_pte.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'model/riscv_vmem_pte.sail')

diff --git a/model/riscv_vmem_pte.sail b/model/riscv_vmem_pte.sail
index dfe032c..07a94a3 100644
--- a/model/riscv_vmem_pte.sail
+++ b/model/riscv_vmem_pte.sail
@@ -128,7 +128,7 @@ function update_PTE_Bits(sv_params : SV_Params,
     let pte_flags = [pte_flags with
                       A = 0b1,
                       D = (if update_d then 0b1 else pte_flags[D])];
-    Some(pte[63 .. 8] @ pte_flags.bits())
+    Some(pte[63 .. 8] @ pte_flags.bits)
   }
   else
     None()
-- 
cgit v1.1