@@ -174,7 +174,7 @@ eval traceon ctxt ntimes genv tm opts = ev ntimes [] True [] tm where
174174 | i < length env && i >= 0 = return $ env !! i
175175 | otherwise = return $ VV i
176176 ev ntimes stk top env (Bind n (Let t v) sc)
177− | not simpl -- || vinstances 0 sc < 2
177+ | not simpl -- - || vinstances 0 sc < 2
178178 = do v' <- ev ntimes stk top env v --(finalise v)
179179 sc' <- ev ntimes stk top (v' : env) sc
180180 wknV (-1) sc'