diff options
| author | Maxime Dénès | 2016-03-04 17:40:10 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-03-04 17:40:48 +0100 |
| commit | b98e4857a13a4014c65882af5321ebdb09f41890 (patch) | |
| tree | c4968e85483866529cc8f4e9a37da28470548d90 /kernel/entries.mli | |
| parent | 78b5670a0a1cf7ba31acabe710b311bf13df8745 (diff) | |
Rename Ephemeron -> CEphemeron.
Fixes compilation of Coq with OCaml 4.03 beta 1.
Diffstat (limited to 'kernel/entries.mli')
| -rw-r--r-- | kernel/entries.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/entries.mli b/kernel/entries.mli index b2a77dd950..f94068f31e 100644 --- a/kernel/entries.mli +++ b/kernel/entries.mli @@ -104,7 +104,7 @@ type side_eff = | SEscheme of (inductive * constant * Declarations.constant_body * seff_env) list * string type side_effect = { - from_env : Declarations.structure_body Ephemeron.key; + from_env : Declarations.structure_body CEphemeron.key; eff : side_eff; } |