diff src/demo.sml @ 1164:8679ba87cf3c

sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents b6111b688060
children 7a2a7a8f9cab
line wrap: on
line diff
--- a/src/demo.sml	Tue Feb 09 20:08:59 2010 -0500
+++ b/src/demo.sml	Thu Feb 11 09:10:01 2010 -0500
@@ -112,7 +112,8 @@
             filterUrl = #filterUrl combined @ #filterUrl urp,
             filterMime = #filterMime combined @ #filterMime urp,
             protocol = mergeWith #2 (#protocol combined, #protocol urp),
-            dbms = mergeWith #2 (#dbms combined, #dbms urp)
+            dbms = mergeWith #2 (#dbms combined, #dbms urp),
+            sigFile = mergeWith #2 (#sigFile combined, #sigFile urp)
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")