| Index: runtime/lib/print_patch.dart
|
| diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart
|
| index 37dff301395c31c6d8dce0c029929eca7fdba904..338edc622b5f1e953c4293081bf100253dcbb382 100644
|
| --- a/runtime/lib/print_patch.dart
|
| +++ b/runtime/lib/print_patch.dart
|
| @@ -8,8 +8,7 @@ import 'dart:core' hide Symbol;
|
| // string is a line, but it may contain "\n" characters.
|
| typedef void _PrintClosure(String line);
|
|
|
| -@patch
|
| -void printToConsole(String line) {
|
| +@patch void printToConsole(String line) {
|
| _printClosure(line);
|
| }
|
|
|
|
|