From d3ec53a0a0c2bc9ae9c69963acb368b96f7cafe2 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 6 Aug 2024 13:39:50 +0200
Subject: [PATCH] Remove spurious comma from Domain.DLS.new_key documentation

---
 stdlib/domain.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stdlib/domain.mli b/stdlib/domain.mli
index bc3942675f04..f7654877405f 100644
--- a/stdlib/domain.mli
+++ b/stdlib/domain.mli
@@ -111,7 +111,7 @@ module DLS : sig
 
     val new_key : ?split_from_parent:('a -> 'a) -> (unit -> 'a) -> 'a key
     (** [new_key f] returns a new key bound to initialiser [f] for accessing
-,        domain-local variables.
+        domain-local variables.
 
         If [split_from_parent] is not provided, the value for a new
         domain will be computed on-demand by the new domain: the first