X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=mtask.scheduling.tex;h=42dc7cc533c94fc0bf992bf68904e12aa7cc6b88;hb=2498dced580be1e7af31a662dadee26c4fd159ed;hp=168b6c6d8828ff1abe74448a0ac8eca6561ea450;hpb=7e2e068caf02d8eae46cddc12ed36445069e67d1;p=msc-thesis1617.git

diff --git a/mtask.scheduling.tex b/mtask.scheduling.tex
index 168b6c6..42dc7cc 100644
--- 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) | ...