From a248708ad455d3717c632d0c3e58b5e977c705c6 Mon Sep 17 00:00:00 2001
From: Andrea Mattavelli <andreamattavelli@gmail.com>
Date: Fri, 1 Dec 2017 11:43:13 +0000
Subject: Updated TravisCI to use pip2 instead of pip

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

diff --git a/.travis.yml b/.travis.yml
index 3cb1d54c..0e084aa2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -123,7 +123,7 @@ before_install:
     - ${KLEE_SRC}/.travis/install-llvm-and-runtime-compiler.sh
     - ${KLEE_SRC}/.travis/install-tcmalloc.sh
     # Install lit (llvm-lit is not available)
-    - sudo pip install lit
+    - sudo pip2 install lit
     # Get SMT solvers
     - ${KLEE_SRC}/.travis/solvers.sh
     # Get needed utlities/libraries for testing KLEE
-- 
cgit 1.4.1