From 5a108f4659a1318342440ad857c609ae17047450 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@users.noreply.github.com>
Date: Thu, 12 Jul 2018 19:41:56 -0700
Subject: [PATCH] z3 package not found, try the python bindings

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

diff --git a/.travis.yml b/.travis.yml
index 2668cd4..d72c2b9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,7 @@ sudo: true
 python:
 - "2.7"
 install:
-- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev z3
+- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev python-z3
 - mkdir build
 - cd build
 - cmake ..