diff --git a/language-server/dm/documentManager.ml b/language-server/dm/documentManager.ml
index c80a64da..70a3029d 100644
--- a/language-server/dm/documentManager.ml
+++ b/language-server/dm/documentManager.ml
@@ -182,8 +182,8 @@ let mk_diag st (id,(lvl,oloc,msg)) =
 let mk_error_diag st (id,(oloc,msg,qf)) = (* mk_diag st (id,(Feedback.Error,oloc, msg)) *)
   let code = 
     match qf with
-    | None -> None
-    | Some qf ->
+    | None -> log "NO ERROR QUICKFIX"; None
+    | Some qf -> log "ERROR QUICKFIX";
       let code : Jsonrpc.Id.t * Lsp.Import.Json.t =
         let open Lsp.Import.Json in
         (`String "quickfix-replace",
@@ -209,8 +209,8 @@ let mk_parsing_error_diag st Document.{ msg = (oloc,msg); start; stop; qf } =
   let range = Range.{ start; end_ } in
   let code = 
     match qf with
-    | None -> None
-    | Some qf ->
+    | None -> log "NO PARSING ERROR QUICKFIX"; None
+    | Some qf -> log "PARSING ERROR QUICKFIX";
       let code : Jsonrpc.Id.t * Lsp.Import.Json.t =
         let open Lsp.Import.Json in
         (`String "quickfix-replace",