Avoid a duplication in some TOML-related project diagnostics

OCamlPro · Oct 25, 2023 · 88a72e9 · 88a72e9
1 parent 3d6e697
commit 88a72e9
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/lsp/superbol_project/project_diagnostics.ml b/src/lsp/superbol_project/project_diagnostics.ml
@@ -29,8 +29,10 @@ let pp_error ppf = function
       (* Here we ignore the message as most error messages from `toml` just
          repeat source location information. *)
       Pretty.print ppf "%s:%d,%d: Syntax error" source line column
-  | Invalid_config { loc = Toml_file filename; msg } ->
-      Pretty.print ppf "%s: %s" filename msg
+  | Invalid_config { loc = _(* Toml_file filename *); msg } ->
+      (* Here the message from `toml` contains enough source information as
+         well. *)
+      Pretty.string ppf msg
   | Unknown_dialect name ->
       Pretty.print ppf "Unknown@ dialect: `%s'" name
   | Cobol_config_error e ->