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 | 20a451e11a5c10d4751beebcf09e0c86568ac5d2 (patch) | |
| tree | 428c81f5418b09ac4d8f8bbfa61e16723e519f67 /src/demo.sml | |
| parent | 27e785f13b18b42885b15cb38a2cd48d7e8fbdd5 (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"); |