Fix hisos''

diff --git a/Eval.hs b/Eval.hs
index c1479eb8bf23ba446c271b8ea9d6538b52c5ec93..64e8a8abc6ff9d6969940170b5addf137efaaab8 100644 (file)
--- 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))