From 4d07c227812b49e71de49b3e64ec6da1fbc30aed Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 14:17:45 -0500
Subject: Change tasks to support parametric code; add clientLeaves

---
 tests/init.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/init.ur')

diff --git a/tests/init.ur b/tests/init.ur
index aafbb55f..8040612d 100644
--- a/tests/init.ur
+++ b/tests/init.ur
@@ -1,6 +1,6 @@
 sequence seq
 table fred : {A : int, B : int}
 
-task initialize =
+task initialize = fn () =>
     setval seq 1;
     dml (INSERT INTO fred (A, B) VALUES (0, 1))
-- 
cgit v1.2.3