fix lint

a16z · Dec 2, 2023 · beaf503 · beaf503
1 parent 03ca1f3
commit beaf503
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -270,9 +270,7 @@ def normalize_extract(arg0, arg1):
 
             # this form triggers the partial inward-propagation of extracts in simplify()
             # that is, `Extract(7, 0, op(x, y))` => `op(Extract(7, 0, x), Extract(7, 0, y))`, followed by further simplification
-            target_equivalent = Concat(
-                Extract(255, 8, target), Extract(7, 0, target)
-            )
+            target_equivalent = Concat(Extract(255, 8, target), Extract(7, 0, target))
 
             given = Concat(arg0, arg1)