From c030beaf52ddf769dbfe75fa32f474671d714ce6 Mon Sep 17 00:00:00 2001 From: favonia Date: Sat, 22 May 2021 21:29:21 -0500 Subject: [PATCH] fix(list): support 4.03 (using CCList.init) --- src/core/CCList.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCList.ml b/src/core/CCList.ml index 62455198..52102681 100644 --- a/src/core/CCList.ml +++ b/src/core/CCList.ml @@ -769,7 +769,7 @@ let sorted_diff ~cmp l1 l2 = let l = sorted_diff ~cmp:CCInt.compare (List.sort CCInt.compare l1) (List.sort CCInt.compare l2) in \ l = sort CCInt.compare l) (* [is_sorted] is after this function *) Q.(triple small_nat small_nat int) (fun (n1,n2,x) -> \ - let l = sorted_diff ~cmp:CCInt.compare (List.init n1 (fun _ -> x)) (List.init n2 (fun _ -> x)) in \ + let l = sorted_diff ~cmp:CCInt.compare (CCList.init n1 (fun _ -> x)) (CCList.init n2 (fun _ -> x)) in \ count (CCInt.equal x) l = CCInt.max (n1 - n2) 0) *)