From 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Jul 2008 14:02:54 -0400
Subject: Writing HTML

---
 src/core_util.sml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/core_util.sml')

diff --git a/src/core_util.sml b/src/core_util.sml
index d65f0b87..df20ef9a 100644
--- a/src/core_util.sml
+++ b/src/core_util.sml
@@ -286,6 +286,11 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, bind} =
                 S.map2 (mfk k,
                          fn k' =>
                             (EFold k', loc))
+
+              | EWrite e =>
+                S.map2 (mfe ctx e,
+                     fn e' =>
+                        (EWrite e', loc))
     in
         mfe
     end
-- 
cgit v1.2.3