From 2b6186a411af5f9b4fcefcf2b60f10b9fbe204c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Thu, 30 Dec 2021 11:12:41 -0300
Subject: [PATCH] Pin manticore dependency to <=0.3.6

Manticore 0.3.6 causes issues when running etheno, see issue
crytic/etheno#80 for the details.
---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 63782a5..3ee1a34 100644
--- a/setup.py
+++ b/setup.py
@@ -22,7 +22,7 @@
         'setuptools'
     ],
     extras_require={
-        'manticore': ['manticore>=0.2.2']
+        'manticore': ['manticore>=0.2.2,<0.3.6']
     },
     entry_points={
         'console_scripts': [