diff src/settings.sml @ 1101:b9abd6cded7b

Treat getCookie as effectful
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Dec 2009 16:48:27 -0500
parents 324c9ffe8ff9
children 82ac88b4e0a7
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",