From 6de85b8db660cd8eb849fbd7cc2da66eb521151b Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Fri, 12 Dec 2025 20:25:12 +0100
Subject: [PATCH] Update Basic.lean

---
 Aristotle/Basic.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Aristotle/Basic.lean b/Aristotle/Basic.lean
index 47af439..0e1b0e8 100644
--- a/Aristotle/Basic.lean
+++ b/Aristotle/Basic.lean
@@ -4,5 +4,5 @@ variable
   {E : Type*} [NormedAddCommGroup E] [NormedSpace ℂ E]
 
 lemma MeromorphicAt.comp {x : ℝ} {f : ℂ → E} {g : ℝ → ℂ}
-    (hf : MeromorphicAt f (g x)) (hg : MeromorphicAt g x) : MeromorphicAt (f ∘ g) x := by
+    (hf : MeromorphicAt f (g x)) (hg : AnalyticAt ℝ g x) : MeromorphicAt (f ∘ g) x := by
   sorry