From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 4 Dec 2015 19:51:26 +0000 (-0500)
Subject: change es' to es, not sure if this is correct...
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=b4a3a393274a0542d91babc1185ad719ac4c0e30;p=cubicaltt.git

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

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