X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Flst%2Fexample.icl;h=4bdf9efecf4eaf132d9d96588d140d6149d4698d;hb=c07f3ee029e0cf99b058de8b9f6ccfdab49ee983;hp=8e9064639386f338b4c4b4c41bec8701a0724d93;hpb=c64f2008bd494f9fdb47466337480f36a22daef3;p=phd-thesis.git

diff --git a/top/lst/example.icl b/top/lst/example.icl
index 8e90646..4bdf9ef 100644
--- a/top/lst/example.icl
+++ b/top/lst/example.icl
@@ -38,14 +38,14 @@ tasks =
 		           {main=temperature dht}
 			) dev
 		>&> \t->viewSharedInformation
-			[ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
+				[ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
 			<<@ Hint "Current Temperature" @! ())
 	, ("lightswitch", \dev-> /*\label{lst:example:ls1}*/
 		withShared False \sh->
-			liftmTask (lightswitch sh) dev
+			    liftmTask (lightswitch sh) dev
 			-|| updateSharedInformation [] sh <<@ Hint "Switch")/*\label{lst:example:ls2}*/
 	, ("factorial", \dev->
-		updateInformation [] 5 <<@ Hint "Factorial of what?"
+		        updateInformation [] 5 <<@ Hint "Factorial of what?"
 		>>? \i->liftmTask (factorial i) dev
 		>>- \r->viewInformation [] r <<@ Hint "Result" @! ())
 	]