diff options
Diffstat (limited to 'lib/util.mli')
| -rw-r--r-- | lib/util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/util.mli b/lib/util.mli index bcaa08b2ec..17a7af1973 100644 --- a/lib/util.mli +++ b/lib/util.mli @@ -84,6 +84,7 @@ exception UnsupportedUtf8 val classify_utf8 : int -> utf8_status val check_ident : string -> unit +val lowercase_first_char_utf8 : string -> string (*s Lists. *) |