| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.java
|
| index 54234165ab53551a7472f512ee1402ca20cff3e2..701d138214ff9c49365d4e90aeb8b585bb3e2b35 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.java
|
| @@ -747,7 +747,7 @@ public final class PreferencesMessages extends NLS {
|
| public static String ComplianceConfigurationBlock_jrecompliance_info_project;
|
| public static String ProblemSeveritiesConfigurationBlock_section_generics;
|
|
|
| - public static String DartAnalysisPreferencePage_memberWarningForInferredTypes;
|
| + public static String DartAnalysisPreferencePage_typeChecksForInferredTypes;
|
|
|
| public static String DartBasePreferencePage_dialogs;
|
| public static String DartBasePreferencePage_do_not_hide_description;
|
|
|