From fc5787618b805aedb19406202330f451297c4403 Mon Sep 17 00:00:00 2001 From: Anders Date: Mon, 20 Apr 2015 16:54:38 +0200 Subject: [PATCH] Fix printing of @ --- CTT.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CTT.hs b/CTT.hs index 3f572e4..5b15f7e 100644 --- a/CTT.hs +++ b/CTT.hs @@ -391,7 +391,7 @@ showVal v = case v of VSnd u -> showVal1 u <> text ".2" VIdP v0 v1 v2 -> text "IdP" <+> showVals [v0,v1,v2] VPath i v -> char '<' <> text (show i) <> char '>' <+> showVal v - VAppFormula v phi -> showVal1 v <+> char '@' <+> showFormula phi + VAppFormula v phi -> showVal v <+> char '@' <+> showFormula phi VComp v0 v1 vs -> text "comp" <+> showVals [v0,v1] <+> text (showSystem vs) VTrans v0 v1 -> text "trans" <+> showVals [v0,v1] VGlue a ts -> text "glue" <+> showVal1 a <+> text (showSystem ts) -- 2.34.1