From 098d2f854bf80577a3418320deff6ebf0abff870 Mon Sep 17 00:00:00 2001 From: ncihnegn Date: Sat, 14 Jul 2018 00:51:29 -0700 Subject: [PATCH] Replace deprecated String.capitalize with String.capitalize_ascii --- src/lib/uTop_complete.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop_complete.ml b/src/lib/uTop_complete.ml index 5e74a77..4e7c09d 100644 --- a/src/lib/uTop_complete.ml +++ b/src/lib/uTop_complete.ml @@ -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