aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2016-03-04 17:40:10 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2016-03-04 17:40:48 +0100
commitb98e4857a13a4014c65882af5321ebdb09f41890 (patch)
treec4968e85483866529cc8f4e9a37da28470548d90 /checker
parent78b5670a0a1cf7ba31acabe710b311bf13df8745 (diff)
Rename Ephemeron -> CEphemeron.
Fixes compilation of Coq with OCaml 4.03 beta 1.
Diffstat (limited to 'checker')
-rw-r--r--checker/check.mllib2
1 files changed, 1 insertions, 1 deletions
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