Skip to content

Commit fa95826

Browse files
committed
[thread.req.timing] Use mathematical symbols
1 parent 10c90ef commit fa95826

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/threads.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -104,8 +104,8 @@
104104
duration of the wait decreasing when measured against a steady clock. \end{note}
105105

106106
\item
107-
if $C_a <= C_t$, the waiting function should not time out until \tcode{Clock::now()} returns a
108-
time $C_n >= C_t$, i.e. waking at $C_t + D_i + D_m$. \begin{note} When the clock is adjusted
107+
if $C_a \leq C_t$, the waiting function should not time out until \tcode{Clock::now()} returns a
108+
time $C_n \geq C_t$, i.e. waking at $C_t + D_i + D_m$. \begin{note} When the clock is adjusted
109109
backwards, this specification may result in the total duration of the wait increasing when
110110
measured against a steady clock. When the clock is adjusted forwards, this specification may
111111
result in the total duration of the wait decreasing when measured against a steady clock.

0 commit comments

Comments
 (0)