Say 'Clocked When-Clause' instead of 'Clocked When Clause'

HansOlsson · Nov 22, 2020 · 0ee324a · 0ee324a
1 parent 190ea98
commit 0ee324a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
@@ -799,7 +799,7 @@ \subsection{Sub-clock conversion operators}\label{sub-clock-conversion-operators
 Note that it is not legal to compute the derivative of the \lstinline!sample!, \lstinline!subSample!, \lstinline!superSample!, \lstinline!backSample!,
 \lstinline!shiftSample!, and \lstinline!noClock! operators.
 
-\section{Clocked When Clause}\label{clocked-when-clause}
+\section{Clocked When-Clause}\label{clocked-when-clause}
 
 In addition to the previously discussed conditional when-clause, a
 \emph{clocked} when-clause is introduced: