changeset 1101:b9abd6cded7b

Treat getCookie as effectful
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Dec 2009 16:48:27 -0500
parents 9645e3c2978e
children 8d0f195710f1
files src/settings.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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",