From 0ffd7edb8cca8765e5b442311cd0c45912245ecb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 29 Dec 2009 16:48:27 -0500
Subject: Treat getCookie as effectful

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

diff --git a/src/settings.sml b/src/settings.sml
index b316b489..b95ce1ea 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -80,6 +80,7 @@ fun mayClientToServer x = S.member (!clientToServer, x)
 val effectfulBase = basis ["dml",
                            "nextval",
                            "setval",
+                           "get_cookie",
                            "set_cookie",
                            "clear_cookie",
                            "new_client_source",
-- 
cgit v1.2.3