From 0b2d013beb63eeedca2512370d2d872b8524efb3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 18 Aug 2022 17:39:29 -0700 Subject: [PATCH] chore: remove leftover --- src/Lean/Compiler/LCNF.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Lean/Compiler/LCNF.lean b/src/Lean/Compiler/LCNF.lean index 8d5881617a..66c9d23bda 100644 --- a/src/Lean/Compiler/LCNF.lean +++ b/src/Lean/Compiler/LCNF.lean @@ -435,7 +435,6 @@ where visit e visitProj (s : Name) (i : Nat) (e : Expr) : M Expr := do - trace[Meta.debug] "visitProj: {s}, {i}, {e}" mkAuxLetDecl <| .proj s i (← visitChild e) visitLet (e : Expr) (xs : Array Expr) : M Expr := do