FixLatex

phannebohm · Aug 30, 2022 · 09d6100 · 09d6100
1 parent 2bf42f3
commit 09d6100
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
@@ -522,7 +522,7 @@ \section{Clock Constructors}\label{clock-constructors}
 
 \section{Clocked State Variables}\label{clocked-state-variables}
 
-\begin{definition}[Clocked state variable]\label{def:clocked-state-variable}\index[clocked!state variable]\index{state variable!clocked}
+\begin{definition}[Clocked state variable]\label{def:clocked-state-variable}\index{clocked!state variable}\index{state variable!clocked}
 A component expression which is not a parameter, and to which \lstinline!previous! has been applied.
 \end{definition}