Skip to content

Commit a75a8de

Browse files
Eisenwavetkoeppe
authored andcommitted
[mem.res.global] Replace 'shall synchronize with'; add reference
1 parent 5407739 commit a75a8de

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/memory.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8059,9 +8059,9 @@
80598059
\pnum
80608060
\remarks
80618061
Calling the \tcode{set_default_resource} and
8062-
\tcode{get_default_resource} functions shall not incur a data race.
8062+
\tcode{get_default_resource} functions shall not incur a data race\iref{intro.races}.
80638063
A call to the \tcode{set_default_resource} function
8064-
shall synchronize with subsequent calls to
8064+
synchronizes with subsequent calls to
80658065
the \tcode{set_default_resource} and \tcode{get_default_resource} functions.
80668066
\end{itemdescr}
80678067

0 commit comments

Comments
 (0)