[MLton-commit] r5075

[Vesa Karvonen]

Removed the extra trailing space on use lines.

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

U   mlton/trunk/mlton/elaborate/elaborate-env.fun

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

Modified: mlton/trunk/mlton/elaborate/elaborate-env.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-env.fun	2007-01-26 01:14:39 UTC (rev 5074)
+++ mlton/trunk/mlton/elaborate/elaborate-env.fun	2007-01-29 12:35:47 UTC (rev 5075)
@@ -1752,11 +1752,10 @@
                                   (align
                                    (List.map
                                     (uses, fn r =>
-                                     str (concat [case Region.left r of
-                                                     NONE => "NONE"
-                                                   | SOME p =>
-                                                        SourcePos.toString p,
-                                                  " "]))),
+                                     str (case Region.left r of
+                                              NONE => "NONE"
+                                            | SOME p =>
+                                              SourcePos.toString p))),
                                    4)],
                            out)
                        end))