Formatting

runtimeverification · Jul 19, 2024 · 977bcb6 · 977bcb6
1 parent 86c8214
commit 977bcb6
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/pyk/src/pyk/ktool/krun.py b/pyk/src/pyk/ktool/krun.py
@@ -258,7 +258,14 @@ def _krun(
         else:
             bug_report.add_command(args)
 
-    return run_process(args, check=check, pipe_stderr=pipe_stderr, pipe_stdout=not proof_hint, logger=logger or _LOGGER, exec_process=debugger)
+    return run_process(
+        args,
+        check=check,
+        pipe_stderr=pipe_stderr,
+        pipe_stdout=not proof_hint,
+        logger=logger or _LOGGER,
+        exec_process=debugger,
+    )
 
 
 def _build_arg_list(