fix bug in printing

diff --git a/CTT.hs b/CTT.hs
index f0b9a6ac672bfeed6bfb622921b1e56b585e14ab..0c52e19a44a0f23041fe1c9ffa8ef594304ae2c8 100644 (file)
--- 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)