From b45a17d1ccb16ea54b204abbb0dab0f54aea49c0 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Tue, 9 Apr 2024 01:47:59 -0700
Subject: Fix Svvptc bug

---
 src/supervisor.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/supervisor.adoc')

diff --git a/src/supervisor.adoc b/src/supervisor.adoc
index 88ce49f..fee8ca7 100644
--- a/src/supervisor.adoc
+++ b/src/supervisor.adoc
@@ -2092,7 +2092,7 @@ bounded amount of time) is guaranteed and use of a memory-management fence is
 not required in these scenarios. While this approach might lead to an occasional
 gratuitous page-fault, the performance benefit of omitting the memory-management
 fence instructions outweighs the occasional cost of a gratuitous page-fault.
-=======
+====
 
 [[sec:ssqosid]]
 == "Ssqosid" Standard Extension for Quality-of-Service (QoS) Identifiers, Version 1.0
-- 
cgit v1.1

