diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index dbb2173f..fa6e4b15 100644
--- a/src/halmos/sevm.py
+++ b/src/halmos/sevm.py
@@ -492,7 +492,11 @@ def __deepcopy__(self, memo):
 
     def __str__(self) -> str:
         return "".join(
-            [f"- {cond}\n" for cond in self.conditions if self.conditions[cond] and str(cond) != "True"]
+            [
+                f"- {cond}\n"
+                for cond in self.conditions
+                if self.conditions[cond] and str(cond) != "True"
+            ]
         )
 
     def to_smt2(self) -> str: