| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/dart/IProblemLocation.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/dart/IProblemLocation.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/dart/IProblemLocation.java
|
| index f715897226d26c6725ac79ca3d8978abc36c74b2..984f924725e2bd9cc44f63fcc75523c4890cc76d 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/dart/IProblemLocation.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/dart/IProblemLocation.java
|
| @@ -13,6 +13,7 @@
|
| */
|
| package com.google.dart.tools.ui.text.dart;
|
|
|
| +import com.google.dart.compiler.ErrorCode;
|
| import com.google.dart.compiler.ast.DartNode;
|
| import com.google.dart.compiler.ast.DartUnit;
|
|
|
| @@ -79,7 +80,7 @@ public interface IProblemLocation {
|
| *
|
| * @return The id of the problem.
|
| */
|
| - int getProblemId();
|
| + ErrorCode getProblemId();
|
|
|
| /**
|
| * Returns if the problem has error severity.
|
|
|