Skip to content

Commit

Permalink
Fix markup of doc comment
Browse files Browse the repository at this point in the history
  • Loading branch information
polytypic committed Feb 18, 2025
1 parent 2bf5a41 commit 6ac1fc3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/picos_std.awaitable/picos_std_awaitable.mli
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,7 @@ module Awaitable : sig
it from the FIFO associated with the awaitable.
ℹ️ If the associated trigger is used with only one awaiter and the
{!Trigger.await await} on the trigger returns [None], there is no need
{{!Trigger.await} await} on the trigger returns [None], there is no need
to explicitly remove the awaiter, because it has already been removed.
*)
end
Expand Down

0 comments on commit 6ac1fc3

Please sign in to comment.