diff --git a/src/lsp/lp_doc.ml b/src/lsp/lp_doc.ml index 431d608f2..4bd40cce8 100644 --- a/src/lsp/lp_doc.ml +++ b/src/lsp/lp_doc.ml @@ -185,7 +185,7 @@ let check_text ~doc = let logs, diags = match error with | None -> logs, diags - | Some(pos,msg) -> ((1, msg), Some pos)::logs, (pos,1,msg,None)::diags + | Some(pos,msg) -> logs @ [((1, msg), Some pos)], diags @ [pos,1,msg,None] in let map = Pure.rangemap cmds in let doc = { doc with nodes; final=Some(final); map; logs } in