From dca3436a9a7e9d5cef4ad6c2d741e6fbfa8beb90 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 13 Apr 2018 16:11:50 +0200
Subject: Update the CI branch for Equations.

---
 dev/ci/ci-basic-overlay.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 48e01e9e93..2adc7d8dcc 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -142,7 +142,7 @@
 ########################################################################
 # Equations
 ########################################################################
-: "${Equations_CI_BRANCH:=8.8+alpha}"
+: "${Equations_CI_BRANCH:=master}"
 : "${Equations_CI_GITURL:=https://github.com/mattam82/Coq-Equations.git}"
 
 ########################################################################
-- 
cgit v1.2.3