From 31878a6e3095de7514da41f344d5dc1b58dcfd35 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 16 May 2017 11:11:59 +0200
Subject: overlay for UniMath

---
 dev/ci/ci-user-overlay.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dev/ci/ci-user-overlay.sh b/dev/ci/ci-user-overlay.sh
index fad647291..9d03ec118 100644
--- a/dev/ci/ci-user-overlay.sh
+++ b/dev/ci/ci-user-overlay.sh
@@ -29,3 +29,9 @@ if [ $TRAVIS_PULL_REQUEST == "568" ] || [ $TRAVIS_BRANCH == "remove-tactic-compa
     fiat_parsers_CI_BRANCH=fix-ml
     fiat_parsers_CI_GITURL=https://github.com/ppedrot/fiat.git
 fi
+
+if [ $TRAVIS_PULL_REQUEST == "406" ] || [ $TRAVIS_BRANCH == "feature/coq_makefile2" ]; then
+    UniMath_CI_BRANCH=master
+    UniMath_CI_GITURL=https://github.com/gares/UniMath.git
+fi
+
-- 
cgit v1.2.3