# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1262123307 18000
# Node ID b9abd6cded7bf793716c23114b54d57067be3e0b
# Parent  9645e3c2978e0567a8243117811075c3cb715cfd
Treat getCookie as effectful

diff -r 9645e3c2978e -r b9abd6cded7b src/settings.sml
--- a/src/settings.sml	Tue Dec 29 15:03:44 2009 -0500
+++ b/src/settings.sml	Tue Dec 29 16:48:27 2009 -0500
@@ -80,6 +80,7 @@
 val effectfulBase = basis ["dml",
                            "nextval",
                            "setval",
+                           "get_cookie",
                            "set_cookie",
                            "clear_cookie",
                            "new_client_source",