From 399cd6d57041f1abf2f79474b359b3a282d8146e Mon Sep 17 00:00:00 2001 From: Fardale Date: Wed, 21 Sep 2022 16:20:02 +0200 Subject: [PATCH] fix(CCSeq): add implementation of concat_map --- src/core/CCSeq.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCSeq.ml b/src/core/CCSeq.ml index 302c51be..ba5bacb3 100644 --- a/src/core/CCSeq.ml +++ b/src/core/CCSeq.ml @@ -241,7 +241,7 @@ and _flat_map_app f l l' () = | Nil -> flat_map f l' () | Cons (x, tl) -> Cons (x, _flat_map_app f tl l') -let concat = flat_map +let concat_map = flat_map let product_with f l1 l2 = let rec _next_left h1 tl1 h2 tl2 () =