Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
WIP
Browse files Browse the repository at this point in the history
rtetley committed Dec 3, 2024
1 parent a605b40 commit 9c40be5
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions language-server/dm/documentManager.ml
Original file line number Diff line number Diff line change
@@ -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 } ->

0 comments on commit 9c40be5

Please sign in to comment.