X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;h=24afd8965d42722bb87114f6453bd049dbac84f9;hp=f5c0eaa59722a62d7783c769df97df4486ae2691;hb=3a0ce128bb7bc501eeef368d2406d26b9652a8f3;hpb=78b70074b6d6829b4bb3912fc4a18ec2f29cf270

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index f5c0eaa..24afd89 100644
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -885,7 +885,7 @@ acc in s = (s', out)
 
         \todo{Sidenote: One or more state arguments?}
 
-    \subsection{Explicit state annotation}
+    \subsection[sec:description:stateann]{Explicit state annotation}
       To make our stateful descriptions unambigious and easier to translate,
       we need some way for the developer to describe which arguments and
       results are intended to become stateful.