From cd55c739a1dfca99774af88a1f686adf1cb28af0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 5 Jan 2016 10:21:22 +0100 Subject: [PATCH] change printing of compU --- CTT.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CTT.hs b/CTT.hs index 0b0d88a..6bb0f60 100644 --- 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 -- 2.34.1