Anders bugfix for squeezes

diff --git a/Eval.hs b/Eval.hs
index 028789b55bec657f3f441739defebc8987973a48..69deb63c76a4e98f8cc350dfd91aaedf810d8482 100644 (file)
--- a/Eval.hs
+++ b/Eval.hs
@@ -386,7 +386,7 @@ squeeze i a u = comp j (a `disj` (i,j)) u $ mkSystem [ (i ~> 1, ui1) ]
 
 squeezes :: Name -> [(Ident,Ter)] -> Env -> [Val] -> [Val]
 squeezes i xas e us = comps j xas (e `disj` (i,j)) us'
-  where j   = fresh (us,e)
+  where j   = fresh (us,e,Atom i)
         us' = [ (mkSystem [(i ~> 1, u `face` (i ~> 1))],u) | u <- us ]