diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-26 14:20:00 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-26 14:20:00 -0500 |
commit | c1816939cb921097620b88c213d181d0bdba7f29 (patch) | |
tree | 428c81f5418b09ac4d8f8bbfa61e16723e519f67 /src/demo.sml | |
parent | 0b80adac740c7eb8ec15d907b9d311b6a68076fc (diff) |
More fun with cookies
Diffstat (limited to 'src/demo.sml')
-rw-r--r-- | src/demo.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/demo.sml b/src/demo.sml index 4e2caa99..c5480a93 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -430,7 +430,7 @@ fun make {prefix, dirname, guided} = TextIO.closeOut outf; - Compiler.compile (OS.Path.base fname) + Compiler.compiler (OS.Path.base fname) end; TextIO.output (demosOut, "\n</body></html>\n"); |