linter

whonore · May 24, 2024 · 80711c4 · 80711c4
1 parent 3dddae8
commit 80711c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/python/coqtop.py b/python/coqtop.py
@@ -3,9 +3,9 @@
 """Coqtop interface with functions to send commands and parse responses."""
 
 import datetime
+import io
 import logging
 import os
-import io
 import signal
 import subprocess
 import threading
@@ -18,12 +18,12 @@
     IO,
     TYPE_CHECKING,
     Any,
+    Callable,
     Generator,
     Iterable,
     Iterator,
     List,
     Mapping,
-    Callable,
     Optional,
     Tuple,
     Union,