Skip to content

Commit

Permalink
Grammar
Browse files Browse the repository at this point in the history
  • Loading branch information
polytypic committed Nov 17, 2024
1 parent d6fdbe8 commit 9f446e7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/picos/picos.mli
Original file line number Diff line number Diff line change
Expand Up @@ -922,7 +922,7 @@ module Fiber : sig
propagated to the fiber during the execution of [thunk].
It is possible to {!spawn} a fiber with cancelation forbidden, which means
that cancelation won't be propagated to fiber unless it is explicitly
that cancelation won't be propagated to the fiber unless it is explicitly
{{!permit} permitted} by the fiber at some point.
⚠️ It is only safe to call [permit] from the fiber itself. *)
Expand Down

0 comments on commit 9f446e7

Please sign in to comment.