From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 3 Jul 2017 15:13:13 +0000 (+0200)
Subject: chktex erratum
X-Git-Tag: hand-in~6
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=a95a33d3f6db0fdb83d7c75713b99a1dd4e68848;p=msc-thesis1617.git

chktex erratum
---

diff --git a/arch.devices.tex b/arch.devices.tex
index 84e1e03..c06d964 100644
--- a/arch.devices.tex
+++ b/arch.devices.tex
@@ -41,7 +41,7 @@ only took about an hour.
 		that is connected via \gls{TCP} over WiFi. A port also has been made
 		for the regular \gls{Arduino} \emph{Uno} board which only boasts a
 		meager \emph{2KB} RAM. The stack size and storage available % chktex 13
-		devices boasting this little RAM has to be smaller than default
+		for devices boasting this little RAM has to be smaller than default
 		but are still suitable to hold a hand full of \glspl{Task}.
 \end{itemize}