small fix

This commit is contained in:
Simon Cruanes 2017-04-18 22:04:37 +02:00
parent fcd987f1c0
commit 6c8de1bc64

View file

@ -718,7 +718,7 @@ let equal_caseless s1 s2: bool =
in
String.length s1 = String.length s2 &&
for_all2
(fun c1 c2 -> Char.equal (char_lower c1) (char_lower c2))
(fun c1 c2 -> char_lower c1 = char_lower c2)
s1 s2
let pp buf s =