From 9c40be521a0e68c4d5355167206c61fa043817ad Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 3 Dec 2024 14:22:34 +0100
Subject: [PATCH] WIP

---
 language-server/dm/documentManager.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/language-server/dm/documentManager.ml b/language-server/dm/documentManager.ml
index 3a4a1f1bc..118a37797 100644
--- a/language-server/dm/documentManager.ml
+++ b/language-server/dm/documentManager.ml
@@ -752,9 +752,8 @@ let jump_to_definition st pos =
   | Some pattern ->
     log ("jumpToDef: found word at cursor: \"" ^ pattern ^ "\"");
     match st.observe_id with
-    | None -> log "jumpToDef in continuous mode currently not supported"; None
-    | Some Top -> log "jumpToDef with no context"; None
-    | Some (Id id) ->
+    | Top -> log "jumpToDef with no context"; None
+    | (Id id) ->
       match Document.get_sentence st.document id with
       | None -> log "jumpToDef: observe_id does not exist"; None
       | Some { stop } ->