From 9f446e72ad0b15826597bfc03930b72e1a89e0f1 Mon Sep 17 00:00:00 2001 From: Vesa Karvonen Date: Sun, 17 Nov 2024 11:14:17 +0200 Subject: [PATCH] Grammar --- lib/picos/picos.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/picos/picos.mli b/lib/picos/picos.mli index fd4e30c6..4f1fe8a2 100644 --- a/lib/picos/picos.mli +++ b/lib/picos/picos.mli @@ -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. *)