Make pret-trans call pret-lam indirectly.

[matthijs/master-project/report.git] / Utils / Lambda.tex

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index fe1fb6ffcf405a506ce9c818b280b74573043237..4d9de33bb1116eb64b82dd06af0faf28c3cc980c 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -61,6 +61,8 @@ draw b;
 \installprettytype [LAM] [LAM]
 % Define \startlambda \stoplambda
 \definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed]
+% Define \startunboxedlambda \stopunboxedlambda
+\definetyping[unboxedlambda][option=LAM,style=sans]
 
 % Define \lam{} (since \lambda is taken)
 \definetype[lam][option=LAM,style=sans]