Replace deprecated String.capitalize with String.capitalize_ascii

This commit is contained in:
ncihnegn 2018-07-14 00:51:29 -07:00 committed by Jérémie Dimino
parent 9dcb51fea8
commit 098d2f854b
1 changed files with 1 additions and 1 deletions

View File

@ -383,7 +383,7 @@ let visible_modules () =
Array.fold_left
(fun acc fname ->
if Filename.check_suffix fname ".cmi" then
String_set.add (String.capitalize (Filename.chop_suffix fname ".cmi")) acc
String_set.add (String.capitalize_ascii (Filename.chop_suffix fname ".cmi")) acc
else
acc)
acc