From cdc2d3995be8987ace2497cf8bd67e1c0e9262d2 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 2 Aug 2018 12:55:02 -0700
Subject: [PATCH] fixes don't work, build is inside angr

---
 .travis.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 471f6a9..9dc83af 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,8 +14,6 @@ install:
 - cd build
 - cmake ..
 - make
-- sudo pip uninstall -y z3-solver
-- sudo pip install z3-solver==4.5.1.0.post2
 - python setup.py install
 - cd ..
 env: