small fix for 4.0 compat

This commit is contained in:
Simon Cruanes 2016-04-20 10:05:04 +02:00
parent 308ea3a650
commit c14191f1bd

View file

@ -583,10 +583,8 @@ module Make(W : WORD)
| Some v, Above -> k (W.of_list (prefix[]), v) | Some v, Above -> k (W.of_list (prefix[]), v)
| _ -> () | _ -> ()
end; end;
let seq = let seq = seq_of_map map in
seq_of_map map let seq = _seq_map (fun (c,t') -> Explore (t', _difflist_add prefix c)) seq in
|> _seq_map (fun (c,t') -> Explore (t', _difflist_add prefix c))
in
let l' = match o, dir with let l' = match o, dir with
| _, Above -> _seq_append_list [] seq | _, Above -> _seq_append_list [] seq
| None, Below -> _seq_append_list_rev [] seq | None, Below -> _seq_append_list_rev [] seq