From a7d3d51ad1d9ce52071f1764c1e594d9d5da5a33 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Sun, 22 Nov 2020 23:41:16 +0100 Subject: [PATCH] Say 'clock variables' instead of 'Clock-variables' --- chapters/synchronous.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 4a82d4a5f..6906baef7 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -475,7 +475,7 @@ \section{Clock Constructors}\label{clock-constructors} Clock variables can be used in a restricted form of expressions. Generally, every expression switching between clock variables must have parameter variability (in order that clock analysis can be performed when translating a model). -Thus subscripts on Clock-variables and conditions of if-then-else switching between Clock-variables must be parameter expressions, and there are similar restrictions for sub-clock conversion operators \cref{sub-clock-conversion-operators}. +Thus subscripts on clock variables and conditions of if-then-else switching between clock variables must be parameter expressions, and there are similar restrictions for sub-clock conversion operators \cref{sub-clock-conversion-operators}. Otherwise, the following expressions are allowed: \begin{itemize} \item