From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 2 Jul 2017 14:22:34 +0000 (+0200)
Subject: .
X-Git-Tag: hand-in~20
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=edab4b716594fd9700c20f004a68dc126a3e73bf;p=msc-thesis1617.git

.
---

diff --git a/arch.itasks.tex b/arch.itasks.tex
index 040b287..5ef0e6d 100644
--- a/arch.itasks.tex
+++ b/arch.itasks.tex
@@ -11,7 +11,7 @@ type which is in turn stored in a \gls{SDS}. This includes management for the
 \glspl{SDS} and \glspl{Task} stored on the device. The \CI{MTaskDevice}
 definition is shown in Listing~\ref{lst:mtaskdevice} accompanied with the
 necessary classes and sub types. Devices added to the system must be reachable
-asynchronously. This implicates that the programmer only needs to keep hold of
+asynchronously. This implies that the programmer only needs to keep hold of
 the reference to the device and not the actual device record.
 
 \begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]