Skip to content

Commit

Permalink
Add missing \lstinline on 'Clock(1.0)'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Nov 22, 2020
1 parent 62dd718 commit e76a5e6
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 @@ -469,7 +469,7 @@ \section{Clock Constructors}\label{clock-constructors}
\item
A default clock, if neither a real interval, nor a rational interval nor an event clock is associated with a base partition. In this case the default clock is associated with the fastest sub-clock partition.
\begin{nonnormative}
Typically, a tool will use Clock(1.0) as a default clock and will raise a warning, that it selected a default clock.
Typically, a tool will use \lstinline!Clock(1.0)! as a default clock and will raise a warning, that it selected a default clock.
\end{nonnormative}
\end{enumerate}

Expand Down

0 comments on commit e76a5e6

Please sign in to comment.