From c14191f1bd5cc6f2104ead22a724d303932f48c4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 20 Apr 2016 10:05:04 +0200 Subject: [PATCH] small fix for 4.0 compat --- src/data/CCTrie.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/data/CCTrie.ml b/src/data/CCTrie.ml index 635dc26f..5aa49a8e 100644 --- a/src/data/CCTrie.ml +++ b/src/data/CCTrie.ml @@ -583,10 +583,8 @@ module Make(W : WORD) | Some v, Above -> k (W.of_list (prefix[]), v) | _ -> () end; - let seq = - seq_of_map map - |> _seq_map (fun (c,t') -> Explore (t', _difflist_add prefix c)) - in + let seq = seq_of_map map in + let seq = _seq_map (fun (c,t') -> Explore (t', _difflist_add prefix c)) seq in let l' = match o, dir with | _, Above -> _seq_append_list [] seq | None, Below -> _seq_append_list_rev [] seq