From 31653d6fe453222b1e056133261fcb7cecdd1374 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Sun, 22 Nov 2020 23:46:53 +0100 Subject: [PATCH] Say 'clock variable', not '\lstinline!Clock! variable' --- chapters/synchronous.tex | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 9b17f6873..8c7d8f9f2 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -511,11 +511,8 @@ \section{Clock Constructors}\label{clock-constructors} \lstinline!! \end{example} \item - Clock variables can be declared in models, blocks, connectors, and - records. A \lstinline!Clock! variable can be declared with the prefixes - \lstinline!input!, \lstinline!output!, \lstinline!inner!, \lstinline!outer!, but - \emph{not} with the prefixes \lstinline!flow!, \lstinline!stream!, - \lstinline!discrete!, \lstinline!parameter!, or \lstinline!constant!. + Clock variables can be declared in models, blocks, connectors, and records. + A clock variable can be declared with the prefixes \lstinline!input!, \lstinline!output!, \lstinline!inner!, \lstinline!outer!, but \emph{not} with the prefixes \lstinline!flow!, \lstinline!stream!, \lstinline!discrete!, \lstinline!parameter!, or \lstinline!constant!. \begin{example} \lstinline!connector ClockInput = input Clock;! \end{example}