change es' to es, not sure if this is correct...

diff --git a/Eval.hs b/Eval.hs
index 69fc41fef9c8e13c1bd53789d01e08fa1bae767b..e49c2299cfa800bb0c274ae608330280c5be0bde 100644 (file)
--- a/Eval.hs
+++ b/Eval.hs
@@ -628,7 +628,7 @@ compU i b es wi0 ws = glueElem vi1'' usi1''
 
         esI1 = es `face` (i ~> 1)
         es'  = filterWithKey (\alpha _ -> i `Map.notMember` alpha) es
-        es'' = filterWithKey (\alpha _ -> alpha `Map.notMember` es') esI1
+        es'' = filterWithKey (\alpha _ -> alpha `Map.notMember` es) esI1
 
         us'    = mapWithKey (\gamma eGamma ->
                    fill i (eGamma @@ One) (wi0 `face` gamma) (ws `face` gamma))