From 989a1c005823a4096e2a9bbbaecf7c78eb025786 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sat, 30 Jun 2018 17:17:57 +0700
Subject: [PATCH] don't use wildcard match where not necessary

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

diff --git a/src/main.ml b/src/main.ml
index 7bdec808..cc36328a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -59,7 +59,7 @@ let setup ?(log=Log.no_log)
       match workspace_file with
       | Some p ->
         Workspace.load ?x ?profile p
-      | _ ->
+      | None ->
         match
           let p = Path.of_string Workspace.filename in
           Option.some_if (Path.exists p) p