change printing of compU

diff --git a/CTT.hs b/CTT.hs
index 0b0d88abe1fcedb9d5dbc6dfbb3e1920456d9522..6bb0f60f574cfbaa6ce222920feb8391b7c71cc1 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -399,7 +399,7 @@ showVal v = case v of
   VUnGlueElem a ts  -> text "unglueElem" <+> showVal1 a <+> text (showSystem ts)
   VUnGlueElemU v b es -> text "unGlueElemU" <+> showVals [v,b]
                          <+> text (showSystem es)
-  VCompU a ts       -> text "compU" <+> showVal1 a <+> text (showSystem ts)
+  VCompU a ts       -> text "comp (<_> U)" <+> showVal1 a <+> text (showSystem ts)
 
 showPath :: Val -> Doc
 showPath e = case e of