From 6e702ddf95a7f59c2a747ebb984b2ced91f4afd4 Mon Sep 17 00:00:00 2001 From: Agustin K-ballo Berge Date: Thu, 14 Dec 2017 17:17:32 -0300 Subject: [PATCH] [thread.thread.id] Fix wrong uses of "shall" --- source/threads.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/threads.tex b/source/threads.tex index 6442c5a3f4..cb328287e9 100644 --- a/source/threads.tex +++ b/source/threads.tex @@ -395,7 +395,7 @@ does not represent threads of execution. \pnum -\tcode{thread::id} shall be a trivially copyable class\iref{class}. +\tcode{thread::id} is a trivially copyable class\iref{class}. The library may reuse the value of a \tcode{thread::id} of a terminated thread that can no longer be joined. \pnum @@ -481,8 +481,8 @@ \begin{itemdescr} \pnum\effects Inserts an unspecified text representation of \tcode{id} into \tcode{out}. For two objects of type \tcode{thread::id} \tcode{x} and \tcode{y}, -if \tcode{x == y} the \tcode{thread::id} objects shall have the same text -representation and if \tcode{x != y} the \tcode{thread::id} objects shall have +if \tcode{x == y} the \tcode{thread::id} objects have the same text +representation and if \tcode{x != y} the \tcode{thread::id} objects have distinct text representations. \pnum\returns \tcode{out}.