updates

[phd-thesis.git] / top / lang.tex

diff --git a/top/lang.tex b/top/lang.tex
index 2a7f656..ecddca1 100644 (file)
--- a/top/lang.tex
+++ b/top/lang.tex
@@ -670,7 +670,7 @@ simulate :: (Main (TraceTask a)) -> [String]
 \end{figure}
 
 \subsection{Byte code compiler}
-The main interpretation of the \gls{MTASK} system is the byte code compiler (\cleaninline{:: BCInterpret}).
+The main interpretation of the \gls{MTASK} system is the byte code compiler (\cleaninline{:: BCInterpret a}).
 With it, and a handful of integration functions, \gls{MTASK} tasks can be executed on microcontrollers and integrated in \gls{ITASK} as if they were regular \gls{ITASK} tasks.
 Furthermore, with a special language construct, \glspl{SDS} can be shared between \gls{MTASK} and \gls{ITASK} programs as well.
 The integration with \gls{ITASK} is explained thoroughly later in \cref{chp:integration_with_itask}.