From 40797d45bce17024e8a8bc1ae8598de0397b7adf Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Sun, 7 May 2017 23:04:28 +0200
Subject: [PATCH] minor change

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

diff --git a/CTT.hs b/CTT.hs
index 54817f6..c7eb5ed 100644
--- 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
-- 
2.34.1