| Index: runtime/lib/print_patch.dart
|
| diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart
|
| index 6ae59f13c2f13be36217d5795e35a1016ef70234..53d034c4feee95283009f508502e5cc0f4a1a4ac 100644
|
| --- a/runtime/lib/print_patch.dart
|
| +++ b/runtime/lib/print_patch.dart
|
| @@ -9,7 +9,7 @@ patch void print(Object obj) {
|
| }
|
|
|
| void _unsupportedPrint(Object obj) {
|
| - throw const UnsupportedOperationException("'print' is not supported");
|
| + throw new UnsupportedError("'print' is not supported");
|
| }
|
|
|
| // _printClosure can be overwritten by the embedder to supply a different
|
|
|