From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Mon, 11 Jul 2016 21:25:19 +0000 (+0200)
Subject: fix bug in printing
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=75a9d719b1a5774ed64f18dfb98ba07130f59cb5;p=cubicaltt.git

fix bug in printing
---

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)