From becc6ef43a0f838d1f6388e8c7373c13f26082bc Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Tue, 21 Mar 2017 15:12:27 +0100
Subject: trivial: fix comment

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

(limited to 'dev')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index da5b425794..241ec35861 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -68,7 +68,7 @@
 : ${Coquelicot_CI_GITURL:=https://scm.gforge.inria.fr/anonscm/git/coquelicot/coquelicot.git}
 
 ########################################################################
-# Coquelicot
+# CompCert
 ########################################################################
 : ${CompCert_CI_BRANCH:=master}
 : ${CompCert_CI_GITURL:=https://github.com/AbsInt/CompCert.git}
-- 
cgit v1.2.3