diff options
Diffstat (limited to 'kernel/reduction.mli')
| -rw-r--r-- | kernel/reduction.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/reduction.mli b/kernel/reduction.mli index 625833547f..9ac3d80425 100644 --- a/kernel/reduction.mli +++ b/kernel/reduction.mli @@ -33,7 +33,7 @@ exception NotConvertible exception NotConvertibleVect of int type 'a conversion_function = env -> 'a -> 'a -> Univ.constraints -val conv : constr conversion_function +val conv : types conversion_function val conv_leq : types conversion_function val conv_leq_vecti : types array conversion_function |