diff --git a/source/threads.tex b/source/threads.tex index 7474aad298..1ca01ecfca 100644 --- a/source/threads.tex +++ b/source/threads.tex @@ -32,8 +32,8 @@ the template argument shall return a value that is convertible to \tcode{bool}. If a template parameter is named \tcode{Clock}, the corresponding template argument shall be a type \tcode{C} -for which \tcode{is_clock_v} is \tcode{true}; -otherwise the program is ill-formed. +that meets the \oldconcept{Clock} requirements\iref{time.clock.req}; +the program is ill-formed if \tcode{is_clock_v} is \tcode{false}. \rSec2[thread.req.exception]{Exceptions} diff --git a/source/time.tex b/source/time.tex index 0f6f3d0ac9..39d60f0f01 100644 --- a/source/time.tex +++ b/source/time.tex @@ -2212,11 +2212,6 @@ } \end{codeblock} -\pnum -\tcode{Clock} shall either -meet the \oldconcept{Clock} requirements\iref{time.clock.req} -or be the type \tcode{local_t}. - \pnum If \tcode{Duration} is not a specialization of \tcode{duration}, the program is ill-formed.