| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/IncrementalScanner.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/IncrementalScanner.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/IncrementalScanner.java
|
| index c8619571bbd1313f58a82584761062a9578c4758..696d19775630ea6f2202687a864933e1f5a33e8d 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/IncrementalScanner.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/IncrementalScanner.java
|
| @@ -66,6 +66,7 @@ public class IncrementalScanner extends Scanner {
|
| *
|
| * @return the first token in the range of new tokens
|
| */
|
| + @Override
|
| public Token getFirstToken() {
|
| return firstToken;
|
| }
|
| @@ -172,7 +173,7 @@ public class IncrementalScanner extends Scanner {
|
| // tokens (because the end tokens have not been copied when we're copying the begin tokens).
|
| // TODO(brianwilkerson) Update the lineInfo.
|
| //
|
| - return firstToken();
|
| + return super.getFirstToken();
|
| }
|
|
|
| private Token copyAndAdvance(Token originalToken, int delta) {
|
|
|