Skip to content

Commit

Permalink
Remove \textbf on 'active' where it is neither introduced nor deservi…
Browse files Browse the repository at this point in the history
…ng emphasis

This instance of 'active' doesn't seem to differ in any significant way from the other nearby uses of 'active' that have no special formatting.
  • Loading branch information
henrikt-ma committed Jun 7, 2020
1 parent a1290c5 commit 7d68fbd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/synchronous.tex
Expand Up @@ -232,7 +232,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
base type \lstinline!Real!, \lstinline!Integer!, \lstinline!Boolean!, enumeration, \lstinline!String! that are
associated uniquely with a clock \lstinline[mathescape=true]!c($t_{i}$)!. A
clocked variable can only be directly accessed at the event instant
where the associated clock is \textbf{active}. A constant and a
where the associated clock is active. A constant and a
parameter can always be used at a place where a clocked variable is
required.

Expand Down

0 comments on commit 7d68fbd

Please sign in to comment.