diff options
| -rw-r--r-- | src/memory.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/memory.tex b/src/memory.tex index 94e3733..dd0a1fe 100644 --- a/src/memory.tex +++ b/src/memory.tex @@ -179,7 +179,7 @@ memory access $a$ precedes memory access $b$ in preserved program order (and hen \begin{itemize} \item (a) precedes (b): by rule X \item (b) precedes (d): by rule \ref{ppo:fence} - \item (d) precedes (e): by the load value axiom. Otherwise, if (d) preceded (c), then (d) would be required to return the value 1. (This is a perfectly legal execution; it's just not the one in question) + \item (d) precedes (e): by the load value axiom. Otherwise, if (e) preceded (d), then (d) would be required to return the value 1. (This is a perfectly legal execution; it's just not the one in question) \item (e) precedes (f): by rule X \item (f) precedes (h): by rule \ref{ppo:fence} \item (h) precedes (a): by the load value axiom, as above. |