From c66bbd9bb5be2431558aac347581963ee6386666 Mon Sep 17 00:00:00 2001
From: diantaowang <wdiantao@gmail.com>
Date: Thu, 21 Nov 2024 10:53:51 +0800
Subject: [PATCH] [RVWMO Explanatory] Fix the figure used to illustrate
 atomicity axiom rule.

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

diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc
index 88b0f13fa..1636e253a 100644
--- a/src/mm-eplan.adoc
+++ b/src/mm-eplan.adoc
@@ -402,7 +402,7 @@ original hart holds the reservation.
 
 |(c) sc.d t3, t2, 0(s0) |(c) sc.d t3, t2, 0(s0) |(c) sc.w t3, t2, 0(s0) |(c) addi s0, s0, 8 
 
-|(d) sc.w t3, t2, 8(s0)|||
+||||(d) sc.w t3, t2, 0(s0)
 |====
 [[litmus_lrsdsc]]
 <<litmus_lrsdsc, Figure 4>>: In all four (independent) instances, the final  store-conditional instruction is permitted but not guaranteed to succeed.