From 959499d147b832c9d538e33b0e8572b556cb3400 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Thu, 19 Mar 2015 00:15:57 +0100
Subject: [PATCH] show transport like we parse it; whitespace

---
 CTT.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CTT.hs b/CTT.hs
index 543c0ed..84d4877 100644
--- 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
-- 
2.34.1