From fcd987f1c025abe1dad236224d801476187460d8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 18 Apr 2017 21:47:32 +0200 Subject: [PATCH] fix test --- src/core/CCString.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCString.mli b/src/core/CCString.mli index b167e824..ca640222 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -410,7 +410,7 @@ val equal_caseless : string -> string -> bool (*$Q Q.(pair printable_string printable_string) (fun (s1,s2) -> \ - equal_caseless s1 s2 = equal (lowercase_ascii s1)(lowercase_ascii s2)) + equal_caseless s1 s2 = (lowercase_ascii s1=lowercase_ascii s2)) Q.(printable_string) (fun s -> equal_caseless s s) Q.(printable_string) (fun s -> equal_caseless (uppercase_ascii s) s) *)