From bcbf909dc467f564ed3dfcee31b258d53fa3313a Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 8 Oct 2023 15:23:56 +0200 Subject: [PATCH 1/2] [algorithms.parallel.defns] Avoid 'must' --- source/algorithms.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/algorithms.tex b/source/algorithms.tex index ff4c3b38ed..0b447937dd 100644 --- a/source/algorithms.tex +++ b/source/algorithms.tex @@ -335,7 +335,7 @@ another function invocation is specified to synchronize with it, and if it is not a memory allocation or deallocation function. \begin{note} -Implementations must ensure that internal synchronization +Implementations ensure that internal synchronization inside standard library functions does not prevent forward progress when those functions are executed by threads of execution with weakly parallel forward progress guarantees. From b454fbb07a1b6a2855ea26d4a1ec03a23c23240d Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 8 Oct 2023 15:40:36 +0200 Subject: [PATCH 2/2] [temp.pre] Avoid 'must' --- source/templates.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 5c6c3bde0a..65b4fb5e03 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -138,7 +138,8 @@ \begin{note} Default arguments for function templates and for member functions of class templates are considered definitions for the purpose of template -instantiation\iref{temp.decls} and must obey the one-definition rule\iref{basic.def.odr}. +instantiation\iref{temp.decls}, +and thus the one-definition rule\iref{basic.def.odr} applies. \end{note} \pnum