Fix a trailing whitespace

riscv · Dec 12, 2023 · 25f4502 · 25f4502
1 parent 3ec6e19
commit 25f4502
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/riscv_vmem.sail b/model/riscv_vmem.sail
@@ -370,7 +370,7 @@ function update_PTE_Bits(sv_params : SV_Params,
   let pte_lsbs = Mk_PTE_LSBs (pte [7 .. 0]);
 
   // Update 'dirty' bit?
-  let update_d : bool = (pte_lsbs.D() == 0b0) 
+  let update_d : bool = (pte_lsbs.D() == 0b0)
 			& (match a {
 			     Execute()	     => false,
 			     Read()	     => false,