From dd3d5011cc5450254d88c1314fbd8713b37a9350 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Thu, 19 Mar 2015 10:35:55 +0100
Subject: [PATCH] fixed support for Env

---
 Eval.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Eval.hs b/Eval.hs
index 7be6d00..6d387d1 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -36,7 +36,11 @@ lookName i (Sub rho (j,phi)) | i == j    = phi
 -- Nominal instances
 
 instance Nominal Env where
-  support    = support . formulaOfEnv
+  support Empty             = []
+  support (Pair rho (_,u))  = support u `union` support rho
+  support (Sub rho (_,phi)) = support phi `union` support rho
+  support (Def _ rho)       = support rho
+
   act e iphi = mapEnv (`act` iphi) (`act` iphi) e
   swap e ij  = mapEnv (`swap` ij) (`swap` ij) e
 
-- 
2.34.1