Index: runtime/lib/print_patch.dart |
diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart |
index 3df38d15e2bae10c906eead719c7d0a2cb86ce95..338edc622b5f1e953c4293081bf100253dcbb382 100644 |
--- a/runtime/lib/print_patch.dart |
+++ b/runtime/lib/print_patch.dart |
@@ -2,6 +2,8 @@ |
// 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. |
+import 'dart:core' hide Symbol; |
+ |
// A print-closure gets a String that should be printed. In general the |
// string is a line, but it may contain "\n" characters. |
typedef void _PrintClosure(String line); |