From 7cfe98273ec3b59c9c4e53d859720a4624cdb358 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Mon, 9 Apr 2018 15:06:55 +0200
Subject: [ci] Tentative fix for #7206: MacOS test-suite job failing.

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 41814e954..e56204b0e 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)
-- 
cgit v1.2.3