Skip to content

Commit a26b3d7

Browse files
committed
[exec.affine.on] Add missing \placeholder
1 parent d299950 commit a26b3d7

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
@@ -6919,7 +6919,7 @@
69196919
\tcode{sch}.
69206920
If the current execution resource is the same as the execution
69216921
resource associated with \tcode{sch}, the completion operation on
6922-
\tcode{\placeholder{out_rcvr}} may be called before \tcode{start(op)} completes.
6922+
\tcode{\placeholder{out_rcvr}} may be called before \tcode{start(\placeholder{op})} completes.
69236923
If scheduling onto \tcode{sch} fails, an error completion on
69246924
\tcode{\placeholder{out_rcvr}} shall be executed on an unspecified execution
69256925
agent.

0 commit comments

Comments
 (0)