From dfbf3f772d23e252a1f6099cb1a5c27c3422c5ab Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Mon, 10 Jun 2024 14:12:16 +0200
Subject: [PATCH] Update complexHarmonic.examples.lean

---
 Nevanlinna/complexHarmonic.examples.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Nevanlinna/complexHarmonic.examples.lean b/Nevanlinna/complexHarmonic.examples.lean
index 26b8fc4..9db98eb 100644
--- a/Nevanlinna/complexHarmonic.examples.lean
+++ b/Nevanlinna/complexHarmonic.examples.lean
@@ -1,3 +1,4 @@
+import Mathlib.Analysis.SpecialFunctions.Complex.LogDeriv
 import Nevanlinna.complexHarmonic
 import Nevanlinna.holomorphic