overvolle hboxen opruimen

[cc1516.git] / deliverables / report / sem.tex

diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex
index e40e86b..cfb7cfb 100644 (file)
--- a/deliverables/report/sem.tex
+++ b/deliverables/report/sem.tex
@@ -27,7 +27,8 @@ compiler phase, and if more transformations are needed in the future these will
 be placed in a separate phase.
 
 The implementation of lambdas in \SPLC{} is implemented through a clever trick.
-All \tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This
+All \\
+\tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This
 transformation is illustrated in Listing~\ref{lst:lambdaLift}. This
 has the advantage that, with our support for higher order functions, lambda
 functions do not require any special attention after this transformation. One