refactor

PizieDust · Dec 6, 2024 · 7c1c220 · 7c1c220
1 parent 418eff1
commit 7c1c220
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/extension_commands.ml b/src/extension_commands.ml
@@ -826,12 +826,9 @@ module Navigate_holes = struct
             match Jsonoo.try_parse_opt (QuickPickItem.label hole) with
             | Some r ->
               let range = Range.t_of_js @@ Jsonoo.t_to_js r in
-
               let _ =
-                let _ = jump_to_hole range text_editor in
+                jump_to_hole range text_editor in
                 ()
-              in
-              ()
             | None -> ())
           | `String _ -> ())
         ()