diff src/mono_print.sml @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 7abb28e9d51f
children a152905c3c3b
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/mono_print.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -272,6 +272,9 @@
       | ENextval e => box [string "nextval(",
                            p_exp env e,
                            string ")"]
+      | EUnurlify (e, _) => box [string "unurlify(",
+                                 p_exp env e,
+                                 string ")"]
 
 and p_exp env = p_exp' false env