From d25cd7a47ea227c73b62cd341fed7c16bca6812c Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Sat, 25 May 2019 18:45:55 +0200
Subject: [PATCH] Update z3 version in setup.py

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 4605b5d3..21474308 100755
--- a/setup.py
+++ b/setup.py
@@ -75,7 +75,7 @@ setup(
         "coloredlogs>=10.0",
         "py_ecc==1.4.2",
         "ethereum>=2.3.2",
-        "z3-solver-mythril>=4.8.4.1",
+        "z3-solver>=4.8.5.0",
         "requests",
         "py-solc",
         "plyvel",