| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/Scope.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/Scope.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/Scope.java
|
| index c0e3f97bf8eaff3450f59368734f478188e0de40..3a6f7de8aa3d363f941846f9d5fe90beb22394a6 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/Scope.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/Scope.java
|
| @@ -109,7 +109,8 @@ public abstract class Scope {
|
| * @param element the element to be added to this scope
|
| */
|
| protected void defineWithoutChecking(Element element) {
|
| - definedNames.put(getName(element), element);
|
| + String name = getName(element);
|
| + definedNames.put(name, element);
|
| }
|
|
|
| /**
|
|
|