Fix typo in Date.toString.

tests/corelib/date_time3_test.dart

Index: tests/corelib/date_time3_test.dart
diff --git a/tests/corelib/date_time3_test.dart b/tests/corelib/date_time3_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..f16930f26a12655204882014fa4eb6de64e3a7ae
--- /dev/null
+++ b/tests/corelib/date_time3_test.dart
@@ -0,0 +1,12 @@
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// At some point dart was emitting a bad padding 0 for Dates where the ms were
+// ending with 10.
+
+main() {
+  String s = "2012-01-30 08:30:00.010";
+  Date d = new Date.fromString(s);
+  Expect.equals(s, d.toString());
+}