| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/AbstractScanner.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/AbstractScanner.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/AbstractScanner.java
|
| index bafa9e41df61ea9f54b5808c55996408b7f60fee..b11addcba5bb90f39b6b7b4e0a41ff10311386fd 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/AbstractScanner.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/AbstractScanner.java
|
| @@ -88,11 +88,6 @@ public abstract class AbstractScanner {
|
| private boolean hasUnmatchedGroups = false;
|
|
|
| /**
|
| - * A non-breaking space, which is allowed by this scanner as a white-space character.
|
| - */
|
| - private static final int $NBSP = 160;
|
| -
|
| - /**
|
| * Initialize a newly created scanner.
|
| *
|
| * @param source the source being scanned
|
| @@ -484,13 +479,6 @@ public abstract class AbstractScanner {
|
| return -1;
|
| }
|
|
|
| - // The following are non-ASCII characters.
|
| -
|
| - if (next == $NBSP) {
|
| - //appendWhiteSpace(next);
|
| - return advance();
|
| - }
|
| -
|
| reportError(ScannerErrorCode.ILLEGAL_CHARACTER, Integer.valueOf(next));
|
| return advance();
|
| }
|
|
|