From 7b4f69ace67601a0f22de52f91f96deff540fd37 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 11 Apr 2010 10:57:52 -0400
Subject: Insert policies

---
 src/mono_util.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index a7f27fd8..fa019b00 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -544,6 +544,9 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
                 PolClient e =>
                 S.map2 (mfe ctx e,
                         PolClient)
+              | PolInsert e =>
+                S.map2 (mfe ctx e,
+                        PolInsert)
 
         and mfvi ctx (x, n, t, e, s) =
             S.bind2 (mft t,
-- 
cgit v1.2.3