From 7ca4e36af8a12236a618bd3a8d045439df40dd43 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 26 May 2017 19:02:29 +0200
Subject: [travis] temporary UniMath overlay

We are waiting for an upstream merge of a fix related to coq_makefile2.
---
 dev/ci/ci-basic-overlay.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 1dfade261f..a6972c9500 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -13,8 +13,8 @@
 ########################################################################
 # UniMath
 ########################################################################
-: ${UniMath_CI_BRANCH:=master}
-: ${UniMath_CI_GITURL:=https://github.com/UniMath/UniMath.git}
+: ${UniMath_CI_BRANCH:=coq_makefile2-fix}
+: ${UniMath_CI_GITURL:=https://github.com/maximedenes/UniMath.git}
 
 ########################################################################
 # Unicoq + Metacoq
-- 
cgit v1.2.3