Fix typo.

diff --git a/Core2Core.tex b/Core2Core.tex
index 437aae70425fbc87c8cdbe9b5b9a1c8215d938b5..d62807715c21bd530530fd2077cb5a285136a9f9 100644 (file)
--- a/Core2Core.tex
+++ b/Core2Core.tex
@@ -396,7 +396,7 @@ As noted before, the above transformations are not complete. Other needed
 transformations include:
 \startitemize
 \item Inlining of local identifiers with a function type. Since these cannot
-be represented in hardware directly, they must be transformated into something
+be represented in hardware directly, they must be transformed into something
 else. Inlining them should always be possible without loss of semantics (TODO:
 How true is this?) and can expose new possibilities for other transformations
 passes (such as application propagation when inlining {\tt j} above).