diff --git a/Nevanlinna/stronglyMeromorphicAt.lean b/Nevanlinna/stronglyMeromorphicAt.lean
index 7c82a9d..d6d8924 100644
--- a/Nevanlinna/stronglyMeromorphicAt.lean
+++ b/Nevanlinna/stronglyMeromorphicAt.lean
@@ -347,7 +347,6 @@ theorem makeStronglyMeromorphic_id
         by_contra hn
         rw [hn] at this
         tauto
-
   · exact m₁ (StronglyMeromorphicAt.meromorphicAt hf) z hz