From 3417bfbe670bd15796dd0fa8ca97209acfedfffb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 13:23:07 -0400 Subject: Path rewriting --- src/demo.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/demo.sml') diff --git a/src/demo.sml b/src/demo.sml index 0b7f3345..c08ce0fe 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -103,7 +103,8 @@ fun make {prefix, dirname, guided} = effectful = [], clientOnly = [], serverOnly = [], - jsFuncs = [] + jsFuncs = [], + rewrites = [] } val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") -- cgit v1.2.3