From 644e3487a31753795a46e1d9864a9d754eaa4c79 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 22 Jul 2020 17:15:09 -0400 Subject: [PATCH] test: fix a test that wouldn't pass on 4.03 --- src/data/CCFQueue.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCFQueue.ml b/src/data/CCFQueue.ml index 492ea512..efa65451 100644 --- a/src/data/CCFQueue.ml +++ b/src/data/CCFQueue.ml @@ -398,7 +398,7 @@ let of_seq seq = add_seq_front seq empty (*$Q (Q.list Q.int) (fun l -> \ - of_list l |> to_seq |> List.of_seq = l) + of_list l |> to_seq |> CCList.of_seq = l) *) let _map_digit : type l. ('a -> 'b) -> ('a, l) digit -> ('b, l) digit = fun f d -> match d with