From 20d3fa9974879189544b752e43842a67c1fec0b9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 13:37:52 -0400
Subject: allow/deny working in Mono_opt

---
 src/demo.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index c08ce0fe..dc4715d7 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -104,7 +104,9 @@ fun make {prefix, dirname, guided} =
             clientOnly = [],
             serverOnly = [],
             jsFuncs = [],
-            rewrites = []
+            rewrites = [],
+            filterUrl = #filterUrl combined @ #filterUrl urp,
+            filterMime = #filterMime combined @ #filterMime urp
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")
-- 
cgit v1.2.3