From b8e1ca9a020af4124a394dd6117ecb0b8a6c7143 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Wed, 7 Nov 2018 14:17:05 -0300
Subject: [PATCH] Disabled manticore in .travis.yml

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 365355e..00c6748 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,7 @@ install:
 #- sudo pip2 install -U pip
 - pip2 install pyflakes --user
 - pip2 install z3-solver --user
-- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user
+#- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user
 - pip2 install cffi==1.7.0 pycparser==2.18 --user 
 - pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user
 - pip2 uninstall unicorn -y