show transport like we parse it; whitespace

diff --git a/CTT.hs b/CTT.hs
index 543c0ed4d367a401684cf7d006d011eb6e66611c..84d487743d1f4a6b8275ee959f8ad48b9f9a75b3 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -106,7 +106,7 @@ data Val = VU
          | VPath Name Val
          | VComp Val Val (System Val)
          | VTrans Val Val
-           
+
            -- Neutral values:
          | VVar String Val
          | VFst Val
@@ -215,7 +215,7 @@ showTer v = case v of
   Path i e         -> char '<' <> text (show i) <> char '>' <+> showTer e
   AppFormula e phi -> showTer1 e <> char '@' <> text (show phi)
   Comp e0 e1 es    -> text "comp" <+> showTers [e0,e1] <+> text (showSystem es)
-  Trans e0 e1      -> text "trans" <+> showTers [e0,e1]
+  Trans e0 e1      -> text "transport" <+> showTers [e0,e1]
 
 showTers :: [Ter] -> Doc
 showTers = hsep . map showTer1