Fix set name typo

1 files changed, 1 insertions, 1 deletions

diff --git a/mgr.tex b/mgr.tex
index fe6aaec..890edc7 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -939,7 +939,7 @@ $W'$. We want to show the same is true when $j - i \leq k$. Take $w_i$ and $w_j$
 with $j - i = k$. Consider the triple $w_i$, $w_{i+1}$, $w_j$. By Observation
 \ref{infix-observation}, $LCA(w_i, w_j)$ is equal to $LCA(w_i, w_{i+1})$ or
 $LCA(w_{i+1}, w_j)$. By the induction assumption, we already know both of these
-are in $W$, thus showing $W'$ is LCA closed and finishing the proof of Lemma
+are in $W'$, thus showing $W'$ is LCA closed and finishing the proof of Lemma
 \ref{lca-lemma}
 
 \section{Computing root states of parts}