Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.

1 files changed, 5 insertions, 0 deletions

diff --git a/engine/logic_monad.mli b/engine/logic_monad.mli
index 545334ce9a..3e57baab26 100644
--- a/engine/logic_monad.mli
+++ b/engine/logic_monad.mli
@@ -28,8 +28,10 @@
     from the IO monad ([Proofview] catches errors in its compatibility
     layer, and when lifting goal-level expressions). *)
 exception Exception of exn
+
 (** This exception is used to signal abortion in [timeout] functions. *)
 exception Timeout
+
 (** This exception is used by the tactics to signal failure by lack of
     successes, rather than some other exceptions (like system
     interrupts). *)
@@ -51,8 +53,10 @@ module NonLogical : sig
 
   val ref : 'a -> 'a ref t
   (** [Pervasives.(:=)] *)
+
   val (:=) : 'a ref -> 'a -> unit t
   (** [Pervasives.(!)] *)
+
   val (!) : 'a ref -> 'a t
 
   val read_line : string t
@@ -67,6 +71,7 @@ module NonLogical : sig
   (** [Pervasives.raise]. Except that exceptions are wrapped with
       {!Exception}. *)
   val raise : ?info:Exninfo.info -> exn -> 'a t
+
   (** [try ... with ...] but restricted to {!Exception}. *)
   val catch : 'a t -> (Exninfo.iexn -> 'a t) -> 'a t
   val timeout : int -> 'a t -> 'a t