Use showTer1 to print closures

diff --git a/CTT.hs b/CTT.hs
index eea02fd58830cd81187b785f4ca2040cc3d9d2ac..7d48bc3d216baf8ac5277cf23af34b75489b94b6 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -363,7 +363,7 @@ instance Show Val where
 showVal :: Val -> Doc
 showVal v = case v of
   VU                -> char 'U'
-  Ter t env         -> showTer t <+> showEnv env
+  Ter t env         -> showTer1 t <+> showEnv env
   VCon c us         -> text c <+> showVals us
   VPCon c a us phi  -> text c <+> char '{' <+> showVal a <+> char '}' <+>
                        showVals us <+> showFormula phi