Merge branch 'master' of git.martlubbers.net:msc-thesis1617
[msc-thesis1617.git] / mtask.tex
index 38cd7aa..397511d 100644 (file)
--- a/mtask.tex
+++ b/mtask.tex
@@ -26,7 +26,7 @@ restriction describes updatable expressions such as \gls{GPIO} pins and
 without the roles for \CI{Upd}. Assignment would be possible to a
 non-assignable expression such as a literal integer.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
        label={lst:exprhier},caption={Expression role hierarchy}]
 :: Upd   = Upd
 :: Expr  = Expr