manuscript

[phd-thesis.git] / appx / mtask_aux.tex

diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex
index fffec62..3edf747 100644 (file)
--- a/appx/mtask_aux.tex
+++ b/appx/mtask_aux.tex
@@ -65,7 +65,7 @@ class LightSensor v where
 \subsection{Motion detection sensor}
 The \gls{MTASK} language supports motion sensing using a \gls{PIR} sensor through a type class that only contains macros.
 \gls{PIR} sensors detect motion by the \gls{IR} reflection through a number of Fresnel lenses and communicates through a digital \gls{GPIO} pin.
-Therefore, a \gls{PIR} is nothing more than a \cleaninline{DPIN} according to \gls{MTASK} but for uniformity, a type class is available (see \cref{lst:mtask_pir}).
+Therefore, a \gls{PIR} is nothing more than a \cleaninline{DPin} according to \gls{MTASK} but for uniformity, a type class is available (see \cref{lst:mtask_pir}).
 
 \begin{lstClean}[label={lst:mtask_pir},caption={\Gls{PIR} sensor interface in \gls{MTASK}.}]
 :: PIR :== DPin