RISC-V: fix a typo-induced bug in updating the PTE.

1 files changed, 1 insertions, 1 deletions

diff --git a/riscv/riscv_vmem.sail b/riscv/riscv_vmem.sail
index caafb131..b617d297 100644
--- a/riscv/riscv_vmem.sail
+++ b/riscv/riscv_vmem.sail
@@ -50,7 +50,7 @@ function update_PTE_Bits(p : PTE_Bits, a : AccessType) -> option(PTE_Bits) = {
   let update_a = p.A() == false;                                 // accessed-bit
   if update_d | update_a then {
     let np = update_A(p, true);
-    let np = if update_d then update_D(p, true) else np;
+    let np = if update_d then update_D(np, true) else np;
     Some(np)
   } else None()
 }