1 files changed, 2 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/Infer.hs b/src/LambdaCube/Compiler/Infer.hs
index 1cb528ea..df2db6e8 100644
--- a/src/LambdaCube/Compiler/Infer.hs
+++ b/src/LambdaCube/Compiler/Infer.hs
@@ -69,8 +69,9 @@ mkELet n x xt env = {-(if null vs then id else trace_ $ "mkELet " ++ show (lengt
 
     grow acc s
         | Set.null s = acc
-        | otherwise = grow (s' <> acc) (s' Set.\\ acc)
+        | otherwise = grow acc' (s' Set.\\ acc')
       where
+        acc' = s <> acc
         s' = mconcat (free . snd . flip (varType "mkELet2") env <$> Set.toList s)
 
 instance PShow (CEnv Exp) where