Skip to content

Commit

Permalink
Un-open the List module
Browse files Browse the repository at this point in the history
Signed-off-by: Ulysse Gérard <[email protected]>
  • Loading branch information
voodoos committed Jan 20, 2020
1 parent 62c10a5 commit 4d09d79
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions bin/exec.ml
Original file line number Diff line number Diff line change
Expand Up @@ -101,10 +101,9 @@ let term =
let hints () =
let candidates =
let path = path_relative_to_build_root "" in
let open List in
Path.Set.to_list (Build_system.targets_of ~dir:path)
|> filter ~f:(fun p -> Path.extension p = ".exe")
|> map ~f:(fun p -> "./" ^ Path.basename p)
|> List.filter ~f:(fun p -> Path.extension p = ".exe")
|> List.map ~f:(fun p -> "./" ^ Path.basename p)
in
User_message.did_you_mean prog ~candidates
in
Expand Down

0 comments on commit 4d09d79

Please sign in to comment.