From 6b0517c203455762d91c79e07d216a3db4344784 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Mon, 7 Sep 2020 20:29:17 +0200
Subject: [PATCH] Give proper name to section introducing 'clocked state
 variable'

---
 chapters/synchronous.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 76ba98679..89585f8bd 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -551,7 +551,7 @@ \section{Clock Constructors}\label{clock-constructors}
   \end{example}
 \end{itemize}
 
-\section{Discrete States}\label{discrete-states}
+\section{Clocked State Variables}\label{clocked-state-variable}
 
 The previous value of a clocked variable can be accessed with the
 previous operator. Such a variable is called a clocked state variable.