Skip to content

Commit

Permalink
Give proper name to section introducing 'clocked state variable'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Sep 7, 2020
1 parent 4dff988 commit 6b0517c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/synchronous.tex
Original file line number Diff line number Diff line change
Expand Up @@ -551,7 +551,7 @@ \section{Clock Constructors}\label{clock-constructors}
\end{example}
\end{itemize}

\section{Discrete States}\label{discrete-states}
\section{Clocked State Variables}\label{clocked-state-variable}

The previous value of a clocked variable can be accessed with the
previous operator. Such a variable is called a clocked state variable.
Expand Down

0 comments on commit 6b0517c

Please sign in to comment.