diff src/mono_print.sml @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents a9a500d22ebc
children b4480a56cab7
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Sep 05 12:50:06 2010 -0400
+++ b/src/mono_print.sml	Sun Sep 05 14:00:57 2010 -0400
@@ -322,9 +322,9 @@
              string "in",
              space,
              p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body]
-      | EDml e => box [string "dml(",
-                       p_exp env e,
-                       string ")"]
+      | EDml (e, _) => box [string "dml(",
+                            p_exp env e,
+                            string ")"]
       | ENextval e => box [string "nextval(",
                            p_exp env e,
                            string ")"]