From 65f2d06413add63cbd2c5d4263b8589b32313f62 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Wed, 15 May 2019 09:37:20 -0700
Subject: [PATCH] Try older manticore until we handle the API change

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

diff --git a/.travis.yml b/.travis.yml
index dadc10a..7c79441 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,7 +10,7 @@ install:
 - pip3.6 -V
 - pip3.6 install pyflakes
 - pip3.6 install angr
-- pip3.6 install https://github.com/trailofbits/manticore/archive/master.zip
+- pip3.6 install https://github.com/trailofbits/manticore/archive/b590c41339e549689fdb9c5297735c1a0654b7fd.zip
 - mkdir build
 - cd build
 - cmake ..