summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-10 16:05:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-10 16:05:10 -0400
commit74ff97f52620a25086c6d1bb5ca35b20f8fb1429 (patch)
tree999bd360287237708dea2c88d69de8bdbe042a70
parent0b48781249e7062928ff78ae3469a508a3e31eaa (diff)
Update main.mlton
-rw-r--r--src/main.mlton.sml2
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"