Skip to content

Commit 82c7fe9

Browse files
committed
Adjusted spacing in comment
1 parent 90550f6 commit 82c7fe9

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

lib/picos_domain/picos_domain.mli

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,10 @@ module DLS : sig
2828

2929
val new_key : (unit -> 'a) -> 'a key
3030
(** [new_key compute] allocates a new key for associating values in storage
31-
associated with domains. The initial value for each domain is [compute]d by
32-
calling the given function if the [key] is {{!get}read} before it has been
33-
{{!set}written}. The [compute] function might be called multiple times per
34-
domain, but only one result will be used. *)
31+
associated with domains. The initial value for each domain is [compute]d
32+
by calling the given function if the [key] is {{!get} read} before it has
33+
been {{!set} written}. The [compute] function might be called multiple
34+
times per domain, but only one result will be used. *)
3535

3636
val get : 'a key -> 'a
3737
(** [get key] returns the value associated with the [key] in the storage

0 commit comments

Comments
 (0)