Skip to content

Commit 103dddc

Browse files
Andreas-Krugjwakely
authored andcommitted
[exec.task.scheduler] Fix typo
1 parent e5a30fe commit 103dddc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/exec.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7072,7 +7072,7 @@
70727072
\pnum
70737073
\tcode{task_scheduler} is a class that models
70747074
\libconcept{scheduler}\iref{exec.sched}.
7075-
Given on object \tcode{s} of type \tcode{task_scheduler}, let
7075+
Given an object \tcode{s} of type \tcode{task_scheduler}, let
70767076
\tcode{\exposid{SCHED}(s)} be the object owned by \tcode{s.\exposid{sch_}}.
70777077

70787078
\indexlibraryctor{task_scheduler}

0 commit comments

Comments
 (0)