diff options
Diffstat (limited to 'kernel/constr.mli')
-rw-r--r-- | kernel/constr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/constr.mli b/kernel/constr.mli index da074d85c..474ab3884 100644 --- a/kernel/constr.mli +++ b/kernel/constr.mli @@ -87,7 +87,7 @@ val mkEvar : existential -> constr val mkSort : Sorts.t -> types val mkProp : types val mkSet : types -val mkType : Univ.universe -> types +val mkType : Univ.Universe.t -> types (** This defines the strategy to use for verifiying a Cast *) |