From f8ab869e454c96c9830104c2ac0405c26f57ec17 Mon Sep 17 00:00:00 2001 From: Vesa Karvonen Date: Sun, 17 Nov 2024 17:32:42 +0200 Subject: [PATCH] Fix typo --- lib/picos/intf.ocaml5.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/picos/intf.ocaml5.ml b/lib/picos/intf.ocaml5.ml index c74c02d7..4900e681 100644 --- a/lib/picos/intf.ocaml5.ml +++ b/lib/picos/intf.ocaml5.ml @@ -142,8 +142,8 @@ module type Fiber = sig not spawn a new fiber. If cancelation happens during the handling of {!Spawn} the scheduler is free to either spawn a new fiber, in which case the current fiber must be continued normally, or not spawn a fiber, in - which case the current fibers must be discontinued, i.e. {!spawn} raises - an exception. + which case the current fiber must be discontinued, i.e. {!spawn} raises an + exception. ⚠️ The scheduler should guarantee that, when the {!Spawn} handler continues the fiber normally, the given [main] will eventually be called by the