fix imports

a16z · Oct 5, 2023 · 54d33b6 · 54d33b6
1 parent 2146d2a
commit 54d33b6
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -4,24 +4,23 @@
 import math
 import re
 
-from subprocess import Popen, PIPE
-
 from copy import deepcopy
 from collections import defaultdict
 from dataclasses import dataclass, field
+from functools import reduce
+from subprocess import Popen, PIPE
 from typing import (
+    Any,
+    Dict,
+    Iterator,
     List,
+    Optional,
     Set,
-    Dict,
-    Union as UnionType,
     Tuple,
-    Any,
-    Optional,
-    TypeVar,
     Type,
+    TypeVar,
+    Union as UnionType,
 )
-from functools import reduce
-
 from z3 import *
 
 from .cheatcodes import halmos_cheat_code, hevm_cheat_code, console, Prank