| 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);
|
|
|