From 54d33b61f6a24b2fddbf57361b61c8d69ef660b1 Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Wed, 4 Oct 2023 17:48:38 -0700
Subject: [PATCH] fix imports

---
 src/halmos/sevm.py | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index 3337a3d9..95eaedf9 100644
--- 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