From 8dd5f0f101da779b702481e0f97e82b5023cb4c9 Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@users.noreply.github.com>
Date: Mon, 18 Apr 2022 12:15:09 +0200
Subject: [PATCH] Update Commands.ml

---
 analysis/src/Commands.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/analysis/src/Commands.ml b/analysis/src/Commands.ml
index e53a2bc5f..c44ad3e53 100644
--- a/analysis/src/Commands.ml
+++ b/analysis/src/Commands.ml
@@ -63,7 +63,7 @@ let definition ~path ~line ~col =
       | None -> None
       | Some locItem -> (
         match References.definitionForLocItem ~full locItem with
-        | None -> None
+        | None ->  None
         | Some (uri, loc) ->
           let isInterface = file.uri |> Uri2.isInterface in
           let posIsZero {Lexing.pos_lnum; pos_bol; pos_cnum} =