From 01e8720797d59a18beeed60ca43a00239208dc14 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Sep 2017 10:23:33 +0200 Subject: [PATCH] small change for benchs on 4.02 --- benchs/run_benchs.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index c7cf8fe7..8e10fc0d 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -1217,7 +1217,7 @@ module Str = struct false else let sub = String.sub s 0 len_p in - String.equal prfx sub + CCString.equal prfx sub let bat_prefix ~pre:p str = let len = String.length p in