X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.mtask.tex;h=df05035720e5ebc7621fccd8fae2d49d8a0f5146;hb=f2e00e1e8180d06fc78f66ca99ea07f583f9056f;hp=1662d6d64e409e4e8bd98162c02fc502f8f76964;hpb=7b0fe8509016c0841d35239dc87150e945cfd960;p=msc-thesis1617.git

diff --git a/methods.mtask.tex b/methods.mtask.tex
index 1662d6d..df05035 100644
--- a/methods.mtask.tex
+++ b/methods.mtask.tex
@@ -211,7 +211,7 @@ blink = task \blink=(\x.
 
 thermostat :: Main (View () Stmt)
 thermostat = {main =
-  IF (analogRead A0 >. 50)
+  IF (analogRead A0 >. lit 50)
 	( digitalWrite D0 (lit True)  )
     ( digitalWrite D0 (lit False) )
   }
@@ -219,5 +219,5 @@ thermostat = {main =
 thermostat` :: Main (View () Stmt)
 thermostat` = let 
   a0 = aIO A0
-  d0 = dIO D0 in {main = IF (a0 >. 50) (d0 =. lit True) (d0 =. lit False) }
+  d0 = dIO D0 in {main = IF (a0 >. lit 50) (d0 =. lit True) (d0 =. lit False) }
 \end{lstlisting}