X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=results.arch.tex;h=e1773d439a23e9e1bea35a2817a76d180fe921e1;hb=4a3a621122fc747cdf156468efd3c06f896f70dc;hp=e9db6883bb32e05b4397e1884a9b6ebb7b1fad03;hpb=2cc098c4bb590b3493bd20b37fe24a70b0407625;p=msc-thesis1617.git

diff --git a/results.arch.tex b/results.arch.tex
index e9db688..e1773d4 100644
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -579,7 +579,7 @@ selected to send the \gls{Task} to. The dialog might contain user specified
 variables. All example \glspl{mTask} are of the type \CI{Task (Main (ByteCode
 () Stmt))} and can thus ask for user input first if needed for parameterized
 \glspl{mTask}. The bottom panel shows the device information. In this panel,
-the devices can be created and modified.  Moreover, this panel allows the user
+the devices can be created and modified. Moreover, this panel allows the user
 to reconnect with a device after a restart of the server application.
 
 \todo{redo this image}