From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Sun, 7 May 2017 21:04:28 +0000 (+0200)
Subject: minor change
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=40797d45bce17024e8a8bc1ae8598de0397b7adf;p=cubicaltt.git

minor change
---

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