| Index: lib/compiler/implementation/dart_backend/placeholder_collector.dart
|
| diff --git a/lib/compiler/implementation/dart_backend/placeholder_collector.dart b/lib/compiler/implementation/dart_backend/placeholder_collector.dart
|
| index d4c8c41ba5f7236538c2d7339a3c63594c161935..4a1432dcfe4cb393a6a90466f8370866ae1d22cd 100644
|
| --- a/lib/compiler/implementation/dart_backend/placeholder_collector.dart
|
| +++ b/lib/compiler/implementation/dart_backend/placeholder_collector.dart
|
| @@ -6,7 +6,7 @@ class LocalPlaceholder {
|
| final String identifier;
|
| final Set<Node> nodes;
|
| LocalPlaceholder(this.identifier) : nodes = new Set<Node>();
|
| - int hashCode() => identifier.hashCode();
|
| + int get hashCode => identifier.hashCode;
|
| String toString() =>
|
| 'local_placeholder[id($identifier), nodes($nodes)]';
|
| }
|
|
|