From 25f45025ce186f68c70ccd6fa1725de0fff9d53c Mon Sep 17 00:00:00 2001
From: Rishiyur Nikhil <nikhil@bluespec.com>
Date: Mon, 11 Dec 2023 19:01:10 -0500
Subject: [PATCH] Fix a trailing whitespace

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

diff --git a/model/riscv_vmem.sail b/model/riscv_vmem.sail
index 0a7ac5fff..6202a3f48 100644
--- 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,