From dd601a93439fdaf0251d66ed16b7e6c62a2bc416 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Fri, 17 Apr 2015 09:13:23 +0200
Subject: [PATCH] Use showTer1 to print closures

---
 CTT.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CTT.hs b/CTT.hs
index eea02fd..7d48bc3 100644
--- 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
-- 
2.34.1