fix listings, process comments

[msc-thesis1617.git] / mtask.scheduling.tex

diff --git a/mtask.scheduling.tex b/mtask.scheduling.tex
index 168b6c6..42dc7cc 100644 (file)
--- a/mtask.scheduling.tex
+++ b/mtask.scheduling.tex
@@ -48,7 +48,7 @@ complex and therefore an example is given. The aforementioned Listing
 shows a simple specification containing one \gls{Task} that increments a value
 indefinitely every one seconds.
 
-\begin{lstlisting}[label={lst:taskclass},%
+\begin{lstlisting}[language=Clean,label={lst:taskclass},%
        caption={The classes for defining \glspl{Task}}]
 class mtask v a where
   task :: (((v delay r) a->v MTask Expr)->In (a->v u p) (Main (v t q))) -> Main (v t q) | ...