Fix a bug where the findlib search path contained duplicates
This commit is contained in:
parent
cd53415a30
commit
df7658914d
|
@ -211,7 +211,7 @@ let create ~(kind : Kind.t) ~path ~base_env ~env_extra ~name ~merlin =
|
||||||
match a @ b with
|
match a @ b with
|
||||||
| [] -> [Path.relative (Path.parent dir) "lib"]
|
| [] -> [Path.relative (Path.parent dir) "lib"]
|
||||||
| l ->
|
| l ->
|
||||||
List.fold_left l ~init:l ~f:(fun acc x ->
|
List.fold_left l ~init:[] ~f:(fun acc x ->
|
||||||
if List.mem x ~set:acc then
|
if List.mem x ~set:acc then
|
||||||
acc
|
acc
|
||||||
else
|
else
|
||||||
|
|
Loading…
Reference in New Issue