From 5d118aafe9b7cecdb429836b61bb9fdf6e8fc24e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 27 Oct 2008 08:27:45 -0400
Subject: Remove need for '() <-' notation

---
 demo/refFun.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'demo/refFun.ur')

diff --git a/demo/refFun.ur b/demo/refFun.ur
index a090b297..d648f31e 100644
--- a/demo/refFun.ur
+++ b/demo/refFun.ur
@@ -10,7 +10,7 @@ functor Make(M : sig
 
     fun new d =
         id <- nextval s;
-        () <- dml (INSERT INTO t (Id, Data) VALUES ({id}, {d}));
+        dml (INSERT INTO t (Id, Data) VALUES ({id}, {d}));
         return id
 
     fun read r =
-- 
cgit v1.2.3