From 188276eefdbc501927b8747c82607d0548a213ca Mon Sep 17 00:00:00 2001
From: Sean Breckenridge <seanbrecke@gmail.com>
Date: Mon, 5 Apr 2021 13:52:25 -0700
Subject: [PATCH] mypy ignore ipython import

---
 my/core/__main__.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/my/core/__main__.py b/my/core/__main__.py
index bb0a8c0..7f8d1ea 100644
--- a/my/core/__main__.py
+++ b/my/core/__main__.py
@@ -382,7 +382,7 @@ def query_hpi_functions(
     else:
         # output == 'repl'
         try:
-            import IPython
+            import IPython  # type: ignore[import]
         except ModuleNotFoundError:
             eprint("'repl' requires ipython, install it with 'python3 -m pip install ipython'")
             sys.exit(1)
@@ -391,8 +391,6 @@ def query_hpi_functions(
             IPython.embed()
 
 
-
-
 @click.group()
 def main() -> None:
     '''