Fix printing of idC and idJ also for values

diff --git a/CTT.hs b/CTT.hs
index fe80b90b77a45bc9487bd708c5e10fc3c256b7bf..3d8efd7bd0c0bebae3cc55ce43118b6dde1d1fd6 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -451,8 +451,8 @@ showVal v = case v of
                          <+> text (showSystem es)
   VCompU a ts       -> text "comp (<_> U)" <+> showVal1 a <+> text (showSystem ts)
   VId a u v           -> text "Id" <+> showVals [a,u,v]
-  VIdPair b ts        -> text "IdC" <+> showVal1 b <+> text (showSystem ts)
-  VIdJ a t c d x p    -> text "IdJ" <+> showVals [a,t,c,d,x,p]
+  VIdPair b ts        -> text "idC" <+> showVal1 b <+> text (showSystem ts)
+  VIdJ a t c d x p    -> text "idJ" <+> showVals [a,t,c,d,x,p]
 
 showPLam :: Val -> Doc
 showPLam e = case e of