diff options
Diffstat (limited to 'kernel/environ.mli')
| -rw-r--r-- | kernel/environ.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/environ.mli b/kernel/environ.mli index aa6f52128f..42100e4eb9 100644 --- a/kernel/environ.mli +++ b/kernel/environ.mli @@ -152,7 +152,6 @@ val lookup_modtype : module_path -> env -> module_type_body (** {5 Universe constraints } *) -val set_universes : Univ.universes -> env -> env val add_constraints : Univ.constraints -> env -> env val set_engagement : engagement -> env -> env |