Merge pull request #541 from ejgallego/fix_warn_concat

[coq] Properly concatenate warnings
ejgallego · Sep 15, 2023 · 11e98ba · 11e98ba
2 parents c5359e8 + dff02b7
commit 11e98ba
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -6,7 +6,7 @@
  - Added link to Python coq-lsp client by Pedro Carrot and Nuno
    Saavedra (@Nfsaavedra, #536)
  - Properly concatenate warnings from _CoqProject (@ejgallego,
-   reported by @mituharu, #, fixes #540)
+   reported by @mituharu, #541, fixes #540)
 
 # coq-lsp 0.1.7: Just-in-time
 -----------------------------

diff --git a/coq/workspace.mli b/coq/workspace.mli
@@ -27,8 +27,8 @@ module Warning : sig
 
   val make : string -> t
 
-  (** Adds new warnings to the list of current warnings, the Coq API
-      here is a bit tricky... *)
+  (** Adds new warnings to the list of current warnings, the Coq API here is a
+      bit tricky... *)
   val apply : t list -> unit
 end