remove OLD_DEFAULTS group (does not exist anymore)

pitest · Mar 26, 2024 · a18250d · a18250d
1 parent 47d6dea
commit a18250d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/bundles/org.pitest.pitclipse.core/src/org/pitest/pitclipse/core/Mutators.java b/bundles/org.pitest.pitclipse.core/src/org/pitest/pitclipse/core/Mutators.java
@@ -28,7 +28,6 @@
  */
 public enum Mutators {
     CUSTOM("Custom mutator data", "This is used for the custom settings of mutators and should not be seen by the user."),
-    OLD_DEFAULTS("Old defaults", "&Old default Mutators"),
     DEFAULTS("Defaults", "&Default Mutators"),
     STRONGER("Stronger defaults", "&Stronger Mutators"),
     ALL("All", "&All Mutators"),
@@ -102,7 +101,6 @@ public static List<Mutators> getMainGroup() {
         mainGroup.add(DEFAULTS);
         mainGroup.add(STRONGER);
         mainGroup.add(ALL);
-        mainGroup.add(OLD_DEFAULTS);
         return mainGroup;
     }