Show idC and idJ as we parse them

diff --git a/CTT.hs b/CTT.hs
index 0c14a12d285989dc31e3cf78f5aeba3acb46cb4f..fe80b90b77a45bc9487bd708c5e10fc3c256b7bf 100644 (file)
--- 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