[RVWMO Explanatory] Fix the figure used to illustrate atomicity axiom…

… rule. (#1733)
riscv · Nov 21, 2024 · b51153d · b51153d
1 parent b796659
commit b51153d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.