From f0e2ece5d1d6067ecefcfb7b12cf6f579b24c71c Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Sat, 11 Dec 2021 13:47:42 +0100
Subject: Fix set name typo

---
 mgr.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mgr.tex')

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}
-- 
cgit v1.2.3

