From ebcab266c6309a201ef342ebd466701075480bea Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 5 May 2023 12:18:36 -0700
Subject: [PATCH] chore: remove empty line

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

diff --git a/src/Lean/Compiler/LCNF/Simp/Main.lean b/src/Lean/Compiler/LCNF/Simp/Main.lean
index c88d905a20..50e43769ae 100644
--- a/src/Lean/Compiler/LCNF/Simp/Main.lean
+++ b/src/Lean/Compiler/LCNF/Simp/Main.lean
@@ -223,7 +223,6 @@ partial def simp (code : Code) : SimpM Code := withIncRecDepth do
     let mut decl ← normLetDecl baseDecl
     if baseDecl != decl then
       markSimplified
-
     if let some value ← simpValue? decl.value then
       markSimplified
       decl ← decl.updateValue value