| Index: compiler/java/com/google/dart/compiler/resolver/TypeErrorCode.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/TypeErrorCode.java b/compiler/java/com/google/dart/compiler/resolver/TypeErrorCode.java
|
| index 70f6291c887bc4b304e8adbffa3842fb697534e6..068c897df6dd2e1e3acf3f54295680d7e84b6315 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/TypeErrorCode.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/TypeErrorCode.java
|
| @@ -72,7 +72,7 @@ public enum TypeErrorCode implements ErrorCode {
|
| TYPE_NOT_ASSIGNMENT_COMPATIBLE("'%s' is not assignable to '%s'"),
|
| TYPE_NOT_ASSIGNMENT_COMPATIBLE_INFERRED(ErrorSeverity.INFO, "'%s' is not assignable to '%s'"),
|
| USE_ASSIGNMENT_ON_SETTER("Use assignment to set field '%s'"),
|
| - USE_INTEGER_DIVISION("Use integer division ~/ instead"),
|
| + USE_INTEGER_DIVISION(ErrorSeverity.INFO, "Use integer division ~/ instead"),
|
| VOID("expression does not yield a value"),
|
| WRONG_NUMBER_OF_TYPE_ARGUMENTS("%s: wrong number of type arguments (%d), Expected %d");
|
|
|
|
|