From 7d68fbd3005bea5ee8e488310a14a791265c75a8 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Sun, 7 Jun 2020 23:18:10 +0200 Subject: [PATCH] Remove \textbf on 'active' where it is neither introduced nor deserving 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. --- chapters/synchronous.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index fa3786529..d9689ccb0 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -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.