diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-10 16:05:10 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-10 16:05:10 -0400 |
commit | 74ff97f52620a25086c6d1bb5ca35b20f8fb1429 (patch) | |
tree | 999bd360287237708dea2c88d69de8bdbe042a70 /src/main.mlton.sml | |
parent | 0b48781249e7062928ff78ae3469a508a3e31eaa (diff) |
Update main.mlton
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r-- | src/main.mlton.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 470a619e..323402a6 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -26,5 +26,5 @@ *) val () = case CommandLine.arguments () of - [filename] => Compiler.testShake filename + [filename] => Compiler.testCloconv filename | _ => print "Bad arguments" |