fix formatting

runtimeverification · Jan 28, 2025 · 583a68d · 583a68d
1 parent c2fd1d5
commit 583a68d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
@@ -6,7 +6,9 @@
 from pathlib import Path
 from typing import TYPE_CHECKING, Any
 
-from pyk.cli.args import BugReportOptions
+from pyk.cli.args import (
+    BugReportOptions,
+)
 from pyk.cli.args import DisplayOptions as PykDisplayOptions
 from pyk.cli.args import (
     KCLIArgs,