From af5a3dd3af777f33bdfeb7f87d6b6b2b8f4e54b8 Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Sat, 23 Sep 2023 23:01:36 -0500
Subject: [PATCH] docs(Diagnostic): shorten section titles

---
 src/Diagnostic.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Diagnostic.mli b/src/Diagnostic.mli
index 6f186a4..09a9f6b 100644
--- a/src/Diagnostic.mli
+++ b/src/Diagnostic.mli
@@ -3,7 +3,7 @@
 (* @include *)
 include module type of DiagnosticData
 
-(** {1 Constructions of Messages} *)
+(** {1 Constructing Messages} *)
 
 (** [text str] converts the string [str] into a text, converting each ['\n'] into a call to {!val:Format.pp_force_newline}. *)
 val text : string -> text
@@ -31,7 +31,7 @@ val messagef : ?loc:Span.t -> ('a, Format.formatter, unit, message) format4 -> '
 *)
 val kmessagef : ?loc:Span.t -> (message -> 'b) -> ('a, Format.formatter, unit, 'b) format4 -> 'a
 
-(** {1 Constructions of Diagnostics} *)
+(** {1 Constructing Diagnostics} *)
 
 (** [make severity code str] constructs a diagnostic with the message [str].