From 3ae6ce15b9a7035a176030ef4302e49a228a1368 Mon Sep 17 00:00:00 2001
From: mohitbansal-okta <52672274+mohitbansal-okta@users.noreply.github.com>
Date: Fri, 12 Feb 2021 13:27:56 -0800
Subject: [PATCH] Upgrade z3-solver version to 4.8.10

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

diff --git a/setup.py b/setup.py
index 3f335b7..41efb0b 100644
--- a/setup.py
+++ b/setup.py
@@ -14,7 +14,7 @@
 try:
     import z3
 except ImportError:
-    requirements += ['z3-solver==4.8.0.0.post1']
+    requirements += ['z3-solver==4.8.10.0']
 
 _package_info = (
     _json.loads(_Path(__file__).parent.joinpath('hack_url_re', 'package_info.json').read_text()))