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)]'; |
} |