From 3a3efad7e3706ecdeabffadbe9a5631c30af2da0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 22 Aug 2009 12:55:18 -0400 Subject: Convert to requiring explicit 'rpc' marker --- demo/batch.ur | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'demo/batch.ur') diff --git a/demo/batch.ur b/demo/batch.ur index 4100749f..8213dd81 100644 --- a/demo/batch.ur +++ b/demo/batch.ur @@ -25,7 +25,8 @@ fun show withDel lss = Nil => | Cons ((id, a), ls) => {[id]} {[a]} {if withDel then -