changeset 57:618b7054f931

Update main.mlton for group compilation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 15:23:16 -0400
parents d3cc191cb25f
children fd8a81ecd598
files src/main.mlton.sml
diffstat 1 files changed, 1 insertions(+), 3 deletions(-) [+]
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 ())