From a01f4dd530689d29ac7518bb9a8d19b919ef76ac Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 20 Nov 2008 11:34:36 -0500
Subject: Some demo improvements

---
 demo/refFun.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'demo/refFun.ur')

diff --git a/demo/refFun.ur b/demo/refFun.ur
index e523bac7..c6a4ea5f 100644
--- a/demo/refFun.ur
+++ b/demo/refFun.ur
@@ -15,9 +15,9 @@ functor Make(M : sig
 
     fun read r =
         o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {[r]});
-        return (case o of
+        case o of
             None => error <xml>You already deleted that ref!</xml>
-          | Some r => r.T.Data)
+          | Some r => return r.T.Data
 
     fun write r d =
         dml (UPDATE t SET Data = {[d]} WHERE Id = {[r]})
-- 
cgit v1.2.3