| Index: runtime/lib/print_patch.dart
|
| diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart
|
| index 338edc622b5f1e953c4293081bf100253dcbb382..37dff301395c31c6d8dce0c029929eca7fdba904 100644
|
| --- a/runtime/lib/print_patch.dart
|
| +++ b/runtime/lib/print_patch.dart
|
| @@ -8,7 +8,8 @@ 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);
|
| }
|
|
|
|
|