From: Anders <mortberg@chalmers.se>
Date: Sat, 13 Jun 2015 08:46:36 +0000 (+0200)
Subject: Fix hisos''
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=676e541ccf739a83a8d607c3d6d26fb4b4c6a1d3;p=cubicaltt.git

Fix hisos''
---

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))