# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1229815452 18000
# Node ID af0df56ecc2cc8ab84804981b8c58f933abae9c5
# Parent  162d5308e34fe8f3ed03eff83aad9be985a4f0a8
Typo report from megacz

diff -r 162d5308e34f -r af0df56ecc2c doc/manual.tex
--- a/doc/manual.tex	Sat Dec 20 16:19:26 2008 -0500
+++ b/doc/manual.tex	Sat Dec 20 18:24:12 2008 -0500
@@ -1017,7 +1017,7 @@
 
 \subsection{Unifying Record Types}
 
-The type inference engine tries to take advantage of the algebraic rules governing type-level records, as shown in Section \ref{definitional}.  When two constructors of record kind are unified, they are reduce to normal forms, with like terms crossed off from each normal form until, hopefully, nothing remains.  This cannot be complete, with the inclusion of unification variables.  The type-checker can help you understand what goes wrong when the process fails, as it outputs the unmatched remainders of the two normal forms.
+The type inference engine tries to take advantage of the algebraic rules governing type-level records, as shown in Section \ref{definitional}.  When two constructors of record kind are unified, they are reduced to normal forms, with like terms crossed off from each normal form until, hopefully, nothing remains.  This cannot be complete, with the inclusion of unification variables.  The type-checker can help you understand what goes wrong when the process fails, as it outputs the unmatched remainders of the two normal forms.
 
 \subsection{\label{typeclasses}Type Classes}