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: