X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fsummary.tex;fp=back%2Fsummary.tex;h=3fbb2a5646ae733c0bd6b8aa6366c08803c76b72;hb=c1b9a0995445470a66854861c04df440b7d7ffb3;hp=91ee7b742b24176b08f45ba74677a1bcf9bfde5a;hpb=b2f9108d700a30970f537408e1b5434ea0a9080c;p=phd-thesis.git

diff --git a/back/summary.tex b/back/summary.tex
index 91ee7b7..3fbb2a5 100644
--- a/back/summary.tex
+++ b/back/summary.tex
@@ -28,7 +28,6 @@ Programming edge devices benefits from \gls{TOP} as well.
 However, it is not straightforward to run \gls{TOP} systems on resource-constrained edge devices.
 
 This dissertation demonstrates how to orchestrate complete \gls{IOT} systems using \gls{TOP}.
-%
 First, I present advanced \gls{DSL} embedding techniques.
 Then \gls{MTASK} is shown, a \gls{TOP} \gls{DSL} for \gls{IOT} edge devices, embedded in \gls{ITASK}.
 Tasks are constructed and compiled at run time.