diff src/main.mlton.sml @ 57:618b7054f931

Update main.mlton for group compilation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 15:23:16 -0400
parents a6e185c7c428
children 8921f0344193
line wrap: on
line diff
--- 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 ())