[MLton-commit] r4343

[Stephen Weeks]

Tweaked call to Poly/ML.

----------------------------------------------------------------------

U   mlton/trunk/benchmark/main.sml

----------------------------------------------------------------------

Modified: mlton/trunk/benchmark/main.sml
===================================================================
--- mlton/trunk/benchmark/main.sml	2006-02-03 17:32:06 UTC (rev 4342)
+++ mlton/trunk/benchmark/main.sml	2006-02-05 01:54:31 UTC (rev 4343)
@@ -267,7 +267,7 @@
    (fn e =>
     let
        val originalDbase = "/usr/lib/poly/ML_dbase"
-       val poly = "poly"
+       val poly = "/usr/bin/poly"
     in File.withTemp
        (fn dbase =>
         let
@@ -286,7 +286,7 @@
                withInput
                (input, fn () =>
                 timeIt (Explicit {args = [dbase],
-                                  com = "poly"})))
+                                  com = poly})))
            val after = File.size dbase
         in
            if original = after