| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/AnalysisServerHighlightsListener.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/AnalysisServerHighlightsListener.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/AnalysisServerHighlightsListener.java
|
| index 62c4ee43178bdbdaa8b63c5a5ef2d5391c15abe2..ef54d3c79d0882c9b69163021a8eef1d5b0b8074 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/AnalysisServerHighlightsListener.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/model/AnalysisServerHighlightsListener.java
|
| @@ -14,7 +14,7 @@
|
|
|
| package com.google.dart.tools.core.analysis.model;
|
|
|
| -import com.google.dart.server.HighlightRegion;
|
| +import com.google.dart.server.generated.types.HighlightRegion;
|
|
|
| /**
|
| * Used by {@link AnalysisServerData} to notify clients that new {@link HighlightRegion}s are ready.
|
|
|