From 0809a4f783d2e1e68b1562132c87daf0077158a6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Sat, 7 Oct 2017 16:28:55 +0200
Subject: Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."

This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024.
This commit did not solve any issue at the time it was merged but made the
macOS package we produce compatible only with macOS 10.12 and later.
---
 .travis.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 1a9f6964f..656c9e187 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -136,7 +136,6 @@ matrix:
           packages: *coqide-packages
 
     - os: osx
-      osx_image: xcode8.3
       env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.02.3"
@@ -149,7 +148,6 @@ matrix:
 
     - if: NOT type IS pull_request
       os: osx
-      osx_image: xcode8.3
       env:
       - TEST_TARGET=""
       - COMPILER="4.02.3"
-- 
cgit v1.2.3