X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fsummary.tex;fp=back%2Fsummary.tex;h=0f1a927797a103c74e97fe888125d8a888812165;hb=529531e1028ae26ab889456d65958794154d5b25;hp=3713f33293efba8a0521e35a4f6bbb8629fa8e12;hpb=382f9709a872c0dfdb86e1184d07224a47c8eff3;p=phd-thesis.git

diff --git a/back/summary.tex b/back/summary.tex
index 3713f33..0f1a927 100644
--- a/back/summary.tex
+++ b/back/summary.tex
@@ -31,7 +31,7 @@ Then \gls{MTASK} is shown, a \gls{TOP} \gls{DSL} for \gls{IOT} edge devices, emb
 Tasks are constructed and compiled at run time.
 This allows tasks to be tailor-made for the current work requirements.
 The compiled task is sent to the device for interpretation.
-For a device to be used in an \gls{MTASK} system, it must to be programmed once with a lightweight domain-specific \gls{OS}.
+For a device to be used in an \gls{MTASK} system, it is programmed once with a lightweight domain-specific \gls{OS}.
 This \gls{OS} executes tasks in an energy-efficient way and automates all communications and data sharing.
 All aspects of the \gls{MTASK} system are shown: example applications, language design, implementation details, integration with \gls{ITASK}, and green computing facilities.
 When using \gls{MTASK} in conjunction with \gls{ITASK}, entire \gls{IOT} systems are programmed tierlessly from a single source, language, paradigm, high abstraction level, and type system.