Fix typo

1 files changed, 1 insertions, 1 deletions

diff --git a/mgr.tex b/mgr.tex
index 217e99d..0c52c76 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -162,7 +162,7 @@ the following problem about tree automata, which we solve in Chapter
 
 \section{Related Work}
 
-Query answering is one generatlization of model checking to the case of formulae
+Query answering is one generalization of model checking to the case of formulae
 with free variables. Another related one is \definedterm{query enumeration}.
 Similar to query answering, we again allow the structure and query to be
 preprocessed. Then, instead of answering individual questions about valuations,