From b98e4857a13a4014c65882af5321ebdb09f41890 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 4 Mar 2016 17:40:10 +0100
Subject: Rename Ephemeron -> CEphemeron.

Fixes compilation of Coq with OCaml 4.03 beta 1.
---
 checker/check.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/check.mllib')

diff --git a/checker/check.mllib b/checker/check.mllib
index 0d36e3a0f..902ab9ddf 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -32,7 +32,7 @@ CStack
 Util
 Ppstyle
 Errors
-Ephemeron
+CEphemeron
 Future
 CUnix
 System
-- 
cgit v1.2.3