diff src/mono_print.sml @ 1112:7a31e0cf25e9

Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 52571ca9b777
children c316ca3c9ec6
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Jan 02 14:54:15 2010 -0500
+++ b/src/mono_print.sml	Sun Jan 03 12:47:27 2010 -0500
@@ -334,9 +334,9 @@
                                  space,
                                  p_exp env e2,
                                  string ")"]
-      | EUnurlify (e, _) => box [string "unurlify(",
-                                 p_exp env e,
-                                 string ")"]
+      | EUnurlify (e, _, _) => box [string "unurlify(",
+                                    p_exp env e,
+                                    string ")"]
       | EJavaScript (m, e) => box [string "JavaScript(",
                                    p_mode env m,
                                    string ",",