From 1eff9a5d32d3f487758b3d03cffc6e2201727401 Mon Sep 17 00:00:00 2001
From: fdopen <andreashauptmann@t-online.de>
Date: Tue, 10 Apr 2018 22:38:52 +0200
Subject: [PATCH] Temporary workaround for python failure on OS X

This commit should be reverted once the problem is fixed upstream
---
 .travis-ocaml.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis-ocaml.sh b/.travis-ocaml.sh
index 58cc708..0f41b73 100644
--- a/.travis-ocaml.sh
+++ b/.travis-ocaml.sh
@@ -135,6 +135,7 @@ install_on_osx () {
         ;;
   esac
   brew update &> /dev/null
+  brew upgrade python || true
   case "$OCAML_VERSION,$OPAM_VERSION" in
     3.12,1.2.2) OCAML_FULL_VERSION=3.12.1; brew install opam ;;
     4.00,1.2.2) OCAML_FULL_VERSION=4.00.1; brew install opam ;;