Use the Linux Libertine roman font for regular text.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index d36556beeb775495a399f554be7da5686313efad..a8194decdf2826b8c9677989754dcd4e3c78fa25 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -779,4 +779,3 @@ After let bind removal:
 \stoplambda
 
 Application simplification is not applicable.
-\stoptext