From ee175ea1f9151123e47d9cbfee0c6329b2e5d934 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 5 Sep 2010 14:00:57 -0400
Subject: tryDml

---
 src/mono_util.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 6bbbecb1..8a567e83 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -332,10 +332,10 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                                                                                        initial = initial'},
                                                                                loc)))))))
 
-              | EDml e =>
+              | EDml (e, fm) =>
                 S.map2 (mfe ctx e,
                      fn e' =>
-                        (EDml e', loc))
+                        (EDml (e', fm), loc))
               | ENextval e =>
                 S.map2 (mfe ctx e,
                      fn e' =>
-- 
cgit v1.2.3