updates

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

diff --git a/top/int.tex b/top/int.tex
index 0326c38..41e0dc7 100644 (file)
--- a/top/int.tex
+++ b/top/int.tex
@@ -213,7 +213,7 @@ where
 \end{lstClean}
 
 \section{Conclusion}
-When \gls{IOT} edge devices run the \gls{MTASK} \gls{RTS}, they become little \gls{TOP} engines of their own.
+This chapter explained the integration of \gls{MTASK} programs with \gls{ITASK}.
 Using just three \gls{ITASK} functions, \gls{MTASK} devices are integrated in \gls{ITASK} seamlessly.
 Devices, using any supported type of connection, are integrated in \gls{ITASK} using the \cleaninline{withDevice} function.
 Once connected, \gls{MTASK} tasks are sent to the device for execution using \cleaninline{liftmTask}, lifting them to full-fledged \gls{ITASK} tasks.
@@ -227,7 +227,7 @@ The following section contains an elaborate example using all integration functi
 \vspace*{\fill}
 \hfill
 \begin{center}
-       \cleaninline[basewidth=.2em,columns=flexible,basicstyle=\tt\footnotesize]{let p = [['This page would be intentionally blank if I were not telling you that ']:p] in p} % chktex 10
+       \cleaninline[basewidth=0pt,columns=flexible,basicstyle=\tt\footnotesize]{let p = [['This page would be intentionally blank if I were not telling you that ']:p] in p} % chktex 10
 \end{center}
 \vspace{\fill}
 \newpage