roy's comments: chapter 6

[msc-thesis1617.git] / results.arch.tex

diff --git a/results.arch.tex b/results.arch.tex
index e9db688..e1773d4 100644 (file)
--- 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}