From 3cc5f79ff49b4aa7439dcf39bf8ae040b27ab81b Mon Sep 17 00:00:00 2001
From: HOS <Hans.Olsson@3ds.com>
Date: Fri, 1 Jul 2022 15:37:50 +0200
Subject: [PATCH] Clarify previous parameter. Closes #3074

---
 chapters/synchronous.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 9e07c1cfe..35f49e9c7 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -534,14 +534,14 @@ \section{Clocked State Variables}\label{clocked-state-variables}
 \end{tabular}
 \end{center}
 
-A variable to which \lstinline!previous! has been applied is called a \firstuse[clocked!state variable]{clocked state variable}\index{state variable!clocked}.
+A variable (i.e. not parameter) to which \lstinline!previous! has been applied is called a \firstuse[clocked!state variable]{clocked state variable}\index{state variable!clocked}.
 
 \begin{operatordefinition}[previous]
 \begin{synopsis}\begin{lstlisting}
 previous($u$)
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
-The input argument $u$ is a component expression (\cref{def:component-expression}) or a parameter expression.
+The input argument $u$ is a component expression (\cref{def:component-expression}), that variable is then a clocked state variable, or a parameter expression.
 The return argument has the same type as the input argument.
 Input and return arguments are on the same clock.
 At the first tick of the clock of $u$ or after a reset transition (see \cref{reset-handling}), the start value of $u$ is returned, see \cref{initialization-of-clocked-partitions}.