summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 15:23:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 15:23:16 -0400
commita2f45884de59da6607cdb38080b956193e2e883f (patch)
treeffe466855d765c587472303b1e60863dd0ca8a0a
parent1abc7fd02cd1a8183241ff9b3574ea6f3388ebcb (diff)
Update main.mlton for group compilation
-rw-r--r--src/main.mlton.sml4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 801821d1..849bc8b1 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -25,6 +25,4 @@
* POSSIBILITY OF SUCH DAMAGE.
*)
-val () = case CommandLine.arguments () of
- [filename] => Compiler.testCjrize filename
- | _ => print "Bad arguments"
+val () = Compiler.testCjrize (CommandLine.arguments ())