bugfix: do not use Sequence.flatMap (close #90)

the function was deprecated and has been removed in sequence 0.9
This commit is contained in:
Simon Cruanes 2016-12-29 10:43:19 +01:00
parent e8cd571005
commit 0046bea415

View file

@ -212,7 +212,7 @@ module PMap = struct
seq
let flatten_l m =
let seq = Sequence.flatMap
let seq = Sequence.flat_map
(fun (k,v) -> Sequence.map (fun v' -> k,v') (Sequence.of_list v))
m.to_seq
in