From 676e541ccf739a83a8d607c3d6d26fb4b4c6a1d3 Mon Sep 17 00:00:00 2001
From: Anders <mortberg@chalmers.se>
Date: Sat, 13 Jun 2015 10:46:36 +0200
Subject: [PATCH] Fix hisos''

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

diff --git a/Eval.hs b/Eval.hs
index c1479eb..64e8a8a 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -496,7 +496,7 @@ compGlue i b hisos wi0 ws = glueElem vi1'' usi1''
 
         hisosI1 = hisos `face` (i ~> 1)
         hisos'  = filterWithKey (\alpha _ -> i `Map.notMember` alpha) hisos
-        hisos'' = filterWithKey (\alpha _ -> alpha `Map.notMember` hisos') hisosI1
+        hisos'' = filterWithKey (\alpha _ -> alpha `Map.notMember` hisos) hisosI1
 
         us'    = mapWithKey (\gamma isoG ->
                    fill i (hisoDom isoG) (wi0 `face` gamma) (ws `face` gamma))
-- 
2.34.1