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