| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/ScannerErrorCode.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/ScannerErrorCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/ScannerErrorCode.java
|
| index 8bb9bf8ae6e8fee43826dd9938dabf909c7135c8..7c7c1c52d81f288f850ef7ecf95d2fd2f4ff1f53 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/ScannerErrorCode.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/scanner/ScannerErrorCode.java
|
| @@ -24,7 +24,6 @@ import com.google.dart.engine.error.ErrorType;
|
| * @coverage dart.engine.parser
|
| */
|
| public enum ScannerErrorCode implements ErrorCode {
|
| - CHARACTER_EXPECTED_AFTER_SLASH("Character expected after slash"),
|
| ILLEGAL_CHARACTER("Illegal character %x"),
|
| MISSING_DIGIT("Decimal digit expected"),
|
| MISSING_HEX_DIGIT("Hexidecimal digit expected"),
|
|
|