diff options
Diffstat (limited to 'compiler/simplCore/simplifier.tib')
| -rw-r--r-- | compiler/simplCore/simplifier.tib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/simplifier.tib b/compiler/simplCore/simplifier.tib index 01919cd14b..e0f9dc91f2 100644 --- a/compiler/simplCore/simplifier.tib +++ b/compiler/simplCore/simplifier.tib @@ -335,7 +335,7 @@ should first be eliminated by the dead-alternative transformation. \subsection{Inlining} -The inlining transformtion is simple enough: +The inlining transformation is simple enough: @ let x = R in B[x] ===> B[R] @ |