From 179eef8fdde412f60d23a48c10abcde537bee2bb Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 23 Oct 2017 12:24:20 -0400
Subject: Point HoTT back at master, which now supports Coq master

---
 dev/ci/ci-basic-overlay.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 43525dcd40..bd14a311b4 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -46,11 +46,8 @@
 ########################################################################
 # HoTT
 ########################################################################
-# Temporary overlay
-: ${HoTT_CI_BRANCH:=ocaml.4.02.3}
-: ${HoTT_CI_GITURL:=https://github.com/ejgallego/HoTT.git}
-# : ${HoTT_CI_BRANCH:=master}
-# : ${HoTT_CI_GITURL:=https://github.com/HoTT/HoTT.git}
+: ${HoTT_CI_BRANCH:=master}
+: ${HoTT_CI_GITURL:=https://github.com/HoTT/HoTT.git}
 
 ########################################################################
 # GeoCoq
-- 
cgit v1.2.3