From 5aff88e5b1dba05e222c601ed628b325ad6fd7f8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 5 May 2009 10:23:16 -0400 Subject: Make Effectize more precise --- demo/increment.ur | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'demo/increment.ur') diff --git a/demo/increment.ur b/demo/increment.ur index 36b8191f..a74e80df 100644 --- a/demo/increment.ur +++ b/demo/increment.ur @@ -2,13 +2,9 @@ sequence seq fun increment () = nextval seq -fun action () = +fun main () = src <- source 0; return {[n]}}/>