From d872c840fbda1d1299df4adbee8b430bc025a48f Mon Sep 17 00:00:00 2001
From: Franck Chauvel <franck.chauvel@gmail.com>
Date: Tue, 26 Mar 2019 08:35:15 +0100
Subject: [PATCH] Removing the 'curl' command as the file is already in the
 source tree

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

diff --git a/.travis.yml b/.travis.yml
index 17821714..eac4ea5b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,7 +32,7 @@ before_install:
 install:
   # Install the Z3 solver
   - python -c 'import sys; print(sys.path)'
-  - curl -L https://github.com/STAMP-project/camp/raw/master/install.sh | bash -s -- --only-z3 --python-library /opt/python/2.7.15/lib/python2.7
+  - bash install.sh --only-z3 --python-library /opt/python/2.7.15/lib/python2.7
 
   # Install CAMP and its dependencies 
   - pip install codecov coverage