From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 26 Jun 2017 10:55:36 +0000 (+0200)
Subject: fix label
X-Git-Tag: hand-in~47
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=4a3a621122fc747cdf156468efd3c06f896f70dc;p=msc-thesis1617.git

fix label
---

diff --git a/results.mtask.tex b/results.mtask.tex
index 3732f4b..1872019 100644
--- 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.