From dfdbec51adc67ae6fd321d0bd939b12ac1194532 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 2 Sep 2022 03:41:49 -0700 Subject: [PATCH] fix: typo --- src/Lean/Compiler/LCNF/Simp.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Lean/Compiler/LCNF/Simp.lean b/src/Lean/Compiler/LCNF/Simp.lean index 8e563ce122..a5a90cec7e 100644 --- a/src/Lean/Compiler/LCNF/Simp.lean +++ b/src/Lean/Compiler/LCNF/Simp.lean @@ -332,7 +332,7 @@ where go (i : Nat) (code : Code) : SimpM Code := do if i > 0 then let decl := decls[i-1]! - if decl.isPure || (← isUsed decl.fvarId) then + if !decl.isPure || (← isUsed decl.fvarId) then match decl with | .let decl => markUsedLetDecl decl; go (i-1) (.let decl code) | .fun decl => markUsedFunDecl decl; go (i-1) (.fun decl code)