From 4af679b1760bbeb4b381b6536e6a15549945a18a Mon Sep 17 00:00:00 2001
From: PizieDust <playersrebirth@gmail.com>
Date: Thu, 16 Jan 2025 11:43:11 +0100
Subject: [PATCH] lint

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

diff --git a/src/extension_commands.ml b/src/extension_commands.ml
index 02661d64c..474f033d4 100644
--- a/src/extension_commands.ml
+++ b/src/extension_commands.ml
@@ -863,7 +863,7 @@ module MerlinJump = struct
       QuickPick.onDidHide
         quickPick
         ~listener:(fun () ->
-          if not(!event_fired || !selected_item)
+          if not (!event_fired || !selected_item)
           then show_selection initial_selection text_editor;
           Decorations.remove_all_highlights text_editor;
           Disposable.dispose selection_listener_disposable;