From fe6fae0ff036624f61a54faaee99589241fcd6d6 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 5 Aug 2018 22:00:05 +0300
Subject: [PATCH] Avoid using a _ pattern where it's not necessary

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
---
 src/dir_contents.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/dir_contents.ml b/src/dir_contents.ml
index 470f30b7..1440d2c9 100644
--- a/src/dir_contents.ml
+++ b/src/dir_contents.ml
@@ -612,7 +612,8 @@ let rec get sctx ~dir =
                               ~modules:(modules_of_files ~dir:d.ctx_dir ~files))
           ; mlds = lazy (build_mlds_map d ~files)
           }
-        | _ ->
+        | Some (_, None)
+        | None ->
           { kind = Standalone
           ; dir
           ; text_files = String.Set.empty