From 9a1dbecbf696e64811d20de2217aa375fe87a2fb Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Thu, 7 Oct 2021 13:08:18 +0200
Subject: Remove superfluous 'the'

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

(limited to 'mgr.tex')

diff --git a/mgr.tex b/mgr.tex
index c08e0e6..257349b 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -130,7 +130,7 @@ Consider the case of binary trees labeled with $\Sigma$. A
 \end{itemize}
 
 A \definedterm{run} of tree automaton $A$ over tree $T$ is a relabeling of $T$
-with the elements of $Q$ such that
+with elements of $Q$ such that
 
 \begin{itemize}
     \item Each leaf with label $a \in \Sigma$ is relabeled with $\iota(a)$.
-- 
cgit v1.2.3