From 5cdc1f62ce74efb98a183e3ef049724176ec8396 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Wed, 7 Nov 2018 11:14:42 -0300
Subject: [PATCH] Update .travis.yml

---
 .travis.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 58f0cb4..b7d4e37 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,13 +10,13 @@ install:
 - sudo pip2 install -U pip
 - sudo pip2 install z3-solver
 - sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip
-- sudo pip2 install cffi==1.7.0 pycparser==2.18
+- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26
 - mkdir build
 - cd build
 - cmake ..
 - sudo make install
-- sudo pip2 uninstall -y pycparser==2.19
-- sudo pip2 install pycparser==2.18
+#- sudo pip2 uninstall -y pycparser==2.19
+#- sudo pip2 install pycparser==2.18
 - cd ..
 env:
 - TASK=ARITHMETIC