From 4ac4ff8b7f01f90a0c6a1703ce125cd1369eea4e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Thu, 14 Dec 2017 20:55:13 +0100
Subject: Compatibility of the Coq macOS package with OS X 10.11.

Travis has moved on to macOS 10.12 but this makes the package
incompatible with earlier versions.
This fix should restore the compatibility with OS X 10.11.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 83a4e7fdd..54e7754f2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -183,6 +183,7 @@ matrix:
 
     - if: NOT (type = pull_request)
       os: osx
+      osx_image: xcode7.3
       env:
       - TEST_TARGET=""
       - COMPILER="4.02.3"
-- 
cgit v1.2.3