[PATCH 1/3] memorder: Fix wrong variable citation

[SeongJae Park <sj38.park@gmail.com>]

Signed-off-by: SeongJae Park <sj38.park@gmail.com>
---
 memorder/memorder.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index 183c525..2da7b98 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -704,8 +704,8 @@ as Y0, the store to \co{x1} on line~19 as Y1, and the load from
 Applying the if-then rule step by step, we know that the store to
 \co{x1} on line~19 happens after the load from \co{x1} on line~11 if
 \co{P0()}'s local variable \co{r2} is set to the value zero.
-The if-then rule would then state that the load from \co{x1} on
-line~21 happens after the store to \co{x1} on line~9.
+The if-then rule would then state that the load from \co{x0} on
+line~21 happens after the store to \co{x0} on line~9.
 In other words,
 \co{P1()}'s local variable \co{r2} is guaranteed
 to end up with the value two \emph{only if}
-- 
2.10.0