From 178004b174a4920118479b59900066b681326492 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 30 Jun 2017 09:06:29 +0200
Subject: Fix OS X Travis by pinning OCaml version.

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index e7082a9ee..d2d779d8b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -139,8 +139,7 @@ matrix:
     - os: osx
       env:
       - TEST_TARGET="test-suite"
-      - COMPILER="system"
-      - CAMLP5_VER="6.17"
+      - COMPILER="4.02.3"
       - NATIVE_COMP="no"
       before_install:
       - brew update
-- 
cgit v1.2.3