From 2174aa160c931821b2d4d841266bc1843774200f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 May 2009 15:38:49 -0400
Subject: cookieSec demo

---
 src/settings.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index 24971eff..d04720c8 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -77,7 +77,9 @@ val clientToServer = ref clientToServerBase
 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls)
 fun mayClientToServer x = S.member (!clientToServer, x)
 
-val effectfulBase = basis ["set_cookie",
+val effectfulBase = basis ["dml",
+                           "nextval",
+                           "set_cookie",
                            "new_client_source",
                            "get_client_source",
                            "set_client_source",
-- 
cgit v1.2.3