Fix log

coq · Dec 11, 2024 · 9fa67d3 · 9fa67d3
1 parent ede7256
commit 9fa67d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
@@ -562,7 +562,7 @@ let sendCoqPilotResult id params =
   let Request.Client.CoqPilotParams.{ textDocument; position; text} = params in
   let uri = textDocument.uri in
   match Hashtbl.find_opt states (DocumentUri.to_path uri) with
-  | None -> log @@ "[documentState] ignoring event on non existant document"; Error("Document does not exist"), []
+  | None -> log @@ "[coqPilotResult] ignoring event on non existant document"; Error("Document does not exist"), []
   | Some st -> 
     let errors = Dm.DocumentManager.coq_pilot_observe st position text in
     log "Sending errors for coqpilot request:";