# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1214162596 14400
# Node ID 618b7054f93108febce1fccc704ea204e7347bfe
# Parent  d3cc191cb25f5b25bd87c2fdcf30523d28c6717f
Update main.mlton for group compilation

diff -r d3cc191cb25f -r 618b7054f931 src/main.mlton.sml
--- a/src/main.mlton.sml	Sun Jun 22 14:23:05 2008 -0400
+++ b/src/main.mlton.sml	Sun Jun 22 15:23:16 2008 -0400
@@ -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 ())