From: Simon Huber <hubsim@gmail.com>
Date: Thu, 27 Apr 2017 15:52:05 +0000 (+0200)
Subject: Show idC and idJ as we parse them
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=db3bb52561c1039fc1324dcefbbe7e7c47c8ddde;p=cubicaltt.git

Show idC and idJ as we parse them
---

diff --git a/CTT.hs b/CTT.hs
index 0c14a12..fe80b90 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -384,8 +384,8 @@ showTer v = case v of
   GlueElem a ts      -> text "glue" <+> showTer1 a <+> text (showSystem ts)
   UnGlueElem a ts    -> text "unglue" <+> showTer1 a <+> text (showSystem ts)
   Id a u v           -> text "Id" <+> showTers [a,u,v]
-  IdPair b ts        -> text "IdC" <+> showTer1 b <+> text (showSystem ts)
-  IdJ a t c d x p    -> text "IdJ" <+> showTers [a,t,c,d,x,p]
+  IdPair b ts        -> text "idC" <+> showTer1 b <+> text (showSystem ts)
+  IdJ a t c d x p    -> text "idJ" <+> showTers [a,t,c,d,x,p]
 
 showTers :: [Ter] -> Doc
 showTers = hsep . map showTer1