diff options
Diffstat (limited to 'org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs index d290812c99..24e7190a48 100644 --- a/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.core.prefs @@ -16,3 +16,4 @@ org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core.compiler.source=1.6 org.eclipse.jdt.core.incompatibleJDKLevel=ignore org.eclipse.jdt.core.incompleteClasspath=error +org.eclipse.jdt.core.compiler.problem.uninternedIdentityComparison=enabled |