From c50ee3d928bcdd8f1e90974f91cb8ed7690fdfe6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Feb 2022 10:20:24 -0500 Subject: [PATCH] try to fix compat issue --- src/core/cpp/cpp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/cpp/cpp.ml b/src/core/cpp/cpp.ml index f621b028..58072c4d 100644 --- a/src/core/cpp/cpp.ml +++ b/src/core/cpp/cpp.ml @@ -17,7 +17,7 @@ let prefix ~pre s = else ( let rec check i = if i=len then true - else if Stdlib.(<>) (String.unsafe_get s i) (String.unsafe_get pre i) then false + else if (String.unsafe_get s i) <> (String.unsafe_get pre i) then false else check (i+1) in check 0