fix label

diff --git a/results.mtask.tex b/results.mtask.tex
index 3732f4b..1872019 100644 (file)
--- a/results.mtask.tex
+++ b/results.mtask.tex
@@ -66,7 +66,7 @@ The \glspl{mTask} are sent to the device in bytecode and are saved in the
 memory of the device. To compile the \gls{EDSL} code to bytecode, a view is
 added to the \gls{mTask}-system encapsulated in the type \CI{ByteCode}. As
 shown in Listing~\ref{lst:bcview}, the \CI{ByteCode} view is a boxed \gls{RWST}
-that writes bytecode instructions (\CI{BC}, Subsection~\label{sec:instruction})
+that writes bytecode instructions (\CI{BC}, Subsection~\ref{sec:instruction})
 while carrying around a \CI{BCState}. The state is kept between compilations
 and is unique to a device.  The state contains fresh variable names and a
 register of \glspl{SDS} that are used.