From 995d0defa294deb8dca183934c5851c46e1c8a25 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 1 Jun 2021 18:46:30 -0400 Subject: [PATCH] diable debug msg that sometimes fails --- src/server.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/server.ml b/src/server.ml index 021c0702..f6de656a 100644 --- a/src/server.ml +++ b/src/server.ml @@ -342,10 +342,6 @@ module Make(IO : IO) = struct ~notify_back (n:Lsp.Client_notification.t) : unit IO.t = let open Lsp.Types in - Log.debug - (fun k->k "handle notification: %a" Yojson.Safe.pp - (Lsp.Client_notification.to_jsonrpc n |> Jsonrpc.Message.yojson_of_notification)); - begin match n with | Lsp.Client_notification.TextDocumentDidOpen {DidOpenTextDocumentParams.textDocument=doc} ->