--- src/networks/opennap/napigator.mll 2024-08-20 05:14:48 +++ src/networks/opennap/napigator.mll 2026-06-07 00:00:00 @@ -56,12 +56,7 @@ { -let lower s = - for i = 0 to String.length s - 1 do - match s.[i] with - 'A' .. 'Z' -> s.[i] <- Char.lowercase s.[i] - | _ -> () - done +let lower = String.lowercase_ascii let translate s = - lower s; + let s = lower s in let lexbuf = Lexing.from_string s in