# HG changeset patch # User Adam Chlipala # Date 1241533396 14400 # Node ID a44daa674810686131a0b846560df4b15f92a5fe # Parent c884a42599f33bd260e1126ca2b168814e7935e6 Make Effectize more precise diff -r c884a42599f3 -r a44daa674810 demo/batch.ur --- a/demo/batch.ur Sun May 03 16:00:43 2009 -0400 +++ b/demo/batch.ur Tue May 05 10:23:16 2009 -0400 @@ -37,7 +37,7 @@ }/> end -fun action () = +fun main () = lss <- source Nil; batched <- source Nil; @@ -79,7 +79,3 @@