Merge fd1495324a into 4294dc7ca3

Add square brackets in comment for CCList.return
2025-12-15 15:26:02 -05:00 · 2025-01-30 02:12:58 +00:00 · 2025-01-28 22:19:11 -05:00
1 changed files with 1 additions and 1 deletions
--- a/src/core/CCList.mli
+++ b/src/core/CCList.mli
@ -384,7 +384,7 @@ val mguard : bool -> unit t
    @since 3.1 *)
 val return : 'a -> 'a t
-(** [return x] is [x]. *)
+(** [return x] is [[x]]. *)
 val take : int -> 'a t -> 'a t
 (** [take n l] takes the [n] first elements of the list [l], drop the rest. *)
Author	SHA1	Message	Date
猗露	81f7628385	Merge `fd1495324a` into `4294dc7ca3`	2025-01-30 02:12:58 +00:00
Adlertz, Niclas	4294dc7ca3	Add square brackets in comment for CCList.return Some checks failed Build and Test / build (push) Has been cancelled Details Build and Test / format (push) Has been cancelled Details	2025-01-28 22:19:11 -05:00