updates

[phd-thesis.git] / top / mtask.tex

diff --git a/top/mtask.tex b/top/mtask.tex
index 013e84a..17ee2b0 100644 (file)
--- a/top/mtask.tex
+++ b/top/mtask.tex
@@ -56,7 +56,8 @@ blink =
                >>|. delay (lit 500)
                >>|. writeD d2 false
                >>|. delay (lit 500)
-       )}\end{lstClean}
+       )
+}\end{lstClean}
        \end{subfigure}
 \end{figure}
 
@@ -628,7 +629,6 @@ This task sets up the communication, exchanges specifications, handles errors an
 class channelSync a :: a (sds () Channels Channels) -> Task () | RWShared sds
 
 withDevice :: (a (MTDevice -> Task b) -> Task b) | iTask b & channelSync, iTask a
-
 \end{lstClean}
 
 \section{Lifting tasks}