Skip to content

Commit

Permalink
Clarify caption: the value of a clock variable isn't defined
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Jul 1, 2020
1 parent bccf7b7 commit a2b6ba6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/synchronous.tex
Expand Up @@ -230,7 +230,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
\begin{center}
\includegraphics[width=3in]{clock}
\end{center}
\caption{A clock variable.}\doublelabel{fig:clock-variable}
\caption{A clock variable. The value of a clock variable is not defined --- the plot marks only indicate \emph{when} the clock is active.}\doublelabel{fig:clock-variable}
\end{figure}

\begin{definition}[Clocked variable]
Expand Down

0 comments on commit a2b6ba6

Please sign in to comment.