fixed script formatting

smackers · Sep 16, 2023 · 919db8e · 919db8e
1 parent ad4a3f0
commit 919db8e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/share/smack/frontend.py b/share/smack/frontend.py
@@ -2,7 +2,7 @@
 import sys
 import re
 import json
-from .utils import temporary_file, try_command, temporary_directory,\
+from .utils import temporary_file, try_command, temporary_directory, \
     llvm_exact_bin, smack_headers, smack_lib
 from .versions import RUST_VERSION
 

diff --git a/share/smack/top.py b/share/smack/top.py
@@ -11,7 +11,7 @@
 import yaml
 from enum import Flag, auto
 from .svcomp.utils import verify_bpl_svcomp
-from .utils import temporary_file, try_command, remove_temp_files,\
+from .utils import temporary_file, try_command, remove_temp_files, \
     llvm_exact_bin, smack_portfolio_path
 from .replay import replay_error_trace
 from .frontend import link_bc_files, frontends, languages, extra_libs