1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index 41814e954a..e56204b0e9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -235,6 +235,7 @@ matrix:
       - COQ_DEST="-local"
       before_install:
       - brew update
+      - brew unlink python
       - brew install opam gnu-time
 
     - if: NOT (type = pull_request)