From: Anders <mortberg@chalmers.se>
Date: Mon, 20 Apr 2015 14:54:38 +0000 (+0200)
Subject: Fix printing of @
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=fc5787618b805aedb19406202330f451297c4403;p=cubicaltt.git

Fix printing of @
---

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)