diff options
Diffstat (limited to 'kernel/term.mli')
| -rw-r--r-- | kernel/term.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/term.mli b/kernel/term.mli index d5a9b11d35..1a3f29c732 100644 --- a/kernel/term.mli +++ b/kernel/term.mli @@ -465,7 +465,6 @@ val pb_is_univ_adjust : conv_pb -> bool val pb_is_equal : conv_pb -> bool val pb_equal : conv_pb -> conv_pb val sort_hdchar : sorts -> string -(* val sort_cmp : conv_pb -> sorts -> sorts -> bool *) (***************************) |