From 0ee324ac8c49046c6a606bba99a6c4a99f2ad2a6 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Mon, 23 Nov 2020 00:07:23 +0100 Subject: [PATCH] Say 'Clocked When-Clause' instead of 'Clocked When Clause' --- chapters/synchronous.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 3dbc3404e..306f19ee1 100644 --- 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: