From a1bcf263c318f0d89e4c3ee66dba0382c868515d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 2 Mar 2017 17:01:56 +0000 Subject: [PATCH] Fix for 4.04 --- src/gen_rules.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index 42647291..9ec84569 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -129,7 +129,9 @@ module Gen(P : Params) = struct | _ -> None)) let dirs_with_dot_opam_files = - Path.Set.map dirs_with_dot_opam_files ~f:(Path.append context.build_dir) + Path.Set.elements dirs_with_dot_opam_files + |> List.map ~f:(Path.append context.build_dir) + |> Path.Set.of_list end let ctx = P.context