From b1c27052db81e091d16eae883d92a43ba207bb62 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 31 Aug 2009 18:32:14 +0200 Subject: [PATCH] Add a bit spacing after a transformation. Or rather, don't remove it. --- Utils/Lambda.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index 9486fe3..4642245 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -13,7 +13,7 @@ % Install the transformation pretty-printer, as defined in pret-trans.lua. \installprettytype [TRANS] [TRANS] % Define \starttrans \stoptrans -\definetyping[trans][option=TRANS,style=normal,before=,after=] +\definetyping[trans][option=TRANS,style=normal,before=] % Install the haskell pretty-printer, as defined in pret-haskell.lua. \installprettytype [HASKELL] [HASKELL] -- 2.30.2