| Index: dart/sdk/lib/_internal/compiler/implementation/lib/core_patch.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/lib/core_patch.dart b/dart/sdk/lib/_internal/compiler/implementation/lib/core_patch.dart
|
| index ec457089287b4236edf12d9ffc42077d0ddfd01a..b2b415da9f83eb448955ea14d1d484f49b1216cf 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/lib/core_patch.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/lib/core_patch.dart
|
| @@ -298,3 +298,10 @@ patch class StackTrace {
|
| throw new UnsupportedError('stackTrace');
|
| }
|
| }
|
| +
|
| +patch class Symbol {
|
| + final String _name;
|
| +
|
| + patch const Symbol(String name) :
|
| + this._name = name;
|
| +}
|
|
|