From 3f69f87385a7efd5c62cf2922cb05a3c69afa4a3 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Sat, 29 Sep 2018 15:13:05 -0400
Subject: [PATCH] Workaround to avoid incompatible python packages

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

diff --git a/.travis.yml b/.travis.yml
index d83e607..b70ea7b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,6 +10,7 @@ install:
 - sudo pip2 install -U pip
 - sudo pip install z3-solver
 - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
+- sudo pip2 install cffi==1.7.0 pycparser==2.18
 - mkdir build
 - cd build
 - cmake ..