From 89fc7f9c77850dbf54e4aaa9488ec8f3293801e2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 28 Mar 2018 20:09:05 -0500 Subject: [PATCH] fix(string): compat 4.02 --- src/core/CCString.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCString.ml b/src/core/CCString.ml index 704eedd8..47879c71 100644 --- a/src/core/CCString.ml +++ b/src/core/CCString.ml @@ -696,7 +696,7 @@ let prefix ~pre s = else ( let rec check i = if i=len then true - else if not (Char.equal (String.unsafe_get s i) (String.unsafe_get pre i)) then false + else if Pervasives.(<>) (String.unsafe_get s i) (String.unsafe_get pre i) then false else check (i+1) in check 0 @@ -719,7 +719,7 @@ let suffix ~suf s = let off = String.length s - len in let rec check i = if i=len then true - else if not (Char.equal (String.unsafe_get s (off+i)) (String.unsafe_get suf i)) then false + else if Pervasives.(<>) (String.unsafe_get s (off+i)) (String.unsafe_get suf i) then false else check (i+1) in check 0