From 82e0f83b9af579778f1a81daeedc8affaa81ac46 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 14 Nov 2011 09:15:10 -0500
Subject: Better error messages about server-side use of client-side functions

---
 src/settings.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index f7bb4027..f6d653f1 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -164,8 +164,7 @@ val benign = ref benignBase
 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
 fun isBenignEffectful x = S.member (!benign, x)
 
-val clientBase = basis ["get",
-                        "set",
+val clientBase = basis ["get_client_source",
                         "current",
                         "alert",
                         "confirm",
-- 
cgit v1.2.3