minor change

diff --git a/CTT.hs b/CTT.hs
index 54817f6dab469bc20a8c8087d1563909532c0b7c..c7eb5ed83dd27ad97e050a93240878967b017a16 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -484,7 +484,7 @@ showVal1 v = case v of
   VVar{}            -> showVal v
   VFst{}            -> showVal v
   VSnd{}            -> showVal v
-  Ter t rho | showEnv False rho == PP.empty -> showTer1 t
+  Ter t rho | isEmpty (showEnv False rho) -> showTer1 t
   _                 -> parens (showVal v)
 
 showVals :: [Val] -> Doc