From 4d09d79fedac86e2a861be58d55d712bd66d17e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Mon, 20 Jan 2020 15:14:46 +0100
Subject: [PATCH] Un-open the List module
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
---
 bin/exec.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/bin/exec.ml b/bin/exec.ml
index 7e7b2bb9b03e..05378f3fc01d 100644
--- a/bin/exec.ml
+++ b/bin/exec.ml
@@ -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