From 01cc87fc58cd0a9f6c48fc89375e38713d467ce9 Mon Sep 17 00:00:00 2001 From: "P. Most" Date: Sat, 14 May 2016 22:53:18 +0200 Subject: [PATCH] Disabled missing enum case despite default --- DroidFish/.settings/org.eclipse.jdt.core.prefs | 1 + 1 file changed, 1 insertion(+) diff --git a/DroidFish/.settings/org.eclipse.jdt.core.prefs b/DroidFish/.settings/org.eclipse.jdt.core.prefs index 56cca0f..457489d 100644 --- a/DroidFish/.settings/org.eclipse.jdt.core.prefs +++ b/DroidFish/.settings/org.eclipse.jdt.core.prefs @@ -6,4 +6,5 @@ org.eclipse.jdt.core.compiler.compliance=1.6 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core.compiler.problem.emptyStatement=warning +org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled org.eclipse.jdt.core.compiler.source=1.6