X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fsummary.tex;h=3fbb2a5646ae733c0bd6b8aa6366c08803c76b72;hb=7af43f4cbbc7792ec22553a84468cde77f429a11;hp=91ee7b742b24176b08f45ba74677a1bcf9bfde5a;hpb=2260acc961f4041fc214d093d0225d382396564e;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.