From ff53e9cc56d2cff5fe49f24c21afcb1e22322970 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 17 Aug 2022 19:04:12 -0700
Subject: [PATCH] chore: remove leftover

---
 src/Lean/Compiler/Simp.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Lean/Compiler/Simp.lean b/src/Lean/Compiler/Simp.lean
index 1b8ed63643..027c139f50 100644
--- a/src/Lean/Compiler/Simp.lean
+++ b/src/Lean/Compiler/Simp.lean
@@ -76,7 +76,6 @@ where
     | .app .. =>
       match (← findLambda? value.getAppFn) with
       | some localDecl =>
-        trace[Meta.debug] "found decl {localDecl.userName}"
         if localDecl.value.isLambda then
           let key := localDecl.userName
           match (← get).numOccs.find? localDecl.userName with