From b4a3a393274a0542d91babc1185ad719ac4c0e30 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Fri, 4 Dec 2015 14:51:26 -0500 Subject: [PATCH] change es' to es, not sure if this is correct... --- Eval.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Eval.hs b/Eval.hs index 69fc41f..e49c229 100644 --- 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)) -- 2.34.1