From 75a9d719b1a5774ed64f18dfb98ba07130f59cb5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Mon, 11 Jul 2016 23:25:19 +0200
Subject: [PATCH] fix bug in printing

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

diff --git a/CTT.hs b/CTT.hs
index f0b9a6a..0c52e19 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -313,7 +313,7 @@ showEnv b e =
     (Empty,_,_,_)            -> PP.empty
     (Def _ env,vs,fs,os)     -> showEnv b (env,vs,fs,os)
     (Upd x env,u:us,fs,os)   ->
-      par $ showEnv1 (env,us,fs,os) <+> names x <+> showVal u
+      par $ showEnv1 (env,us,fs,os) <+> names x <+> showVal1 u
     (Sub i env,us,phi:fs,os) ->
       par $ showEnv1 (env,us,fs,os) <+> names (show i) <+> text (show phi)
 
-- 
2.34.1