diff options
Diffstat (limited to 'kernel/univ.mli')
-rw-r--r-- | kernel/univ.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/univ.mli b/kernel/univ.mli index 3a2ec557f..1634009b3 100644 --- a/kernel/univ.mli +++ b/kernel/univ.mli @@ -51,7 +51,7 @@ type constraint_function = universe -> universe -> constraints -> constraints val enforce_geq : constraint_function val enforce_eq : constraint_function -(** {6 Sect } *) +(** {6 ... } *) (** Merge of constraints in a universes graph. The function [merge_constraints] merges a set of constraints in a given universes graph. It raises the exception [UniverseInconsistency] if the |