New version (to be tested).

[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / RuleOrElimination.java

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java
index 3d678b7f1b52df439622940994410edbe8d76399..75d1a7765e26b1f1a00f48407bf948c80b6390a8 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java
@@ -6,10 +6,6 @@ import java.util.List;
 public class RuleOrElimination implements EliminationRule
 {
     String ruleName;
-    public String getName()
-    {
-        return ruleName;
-    }
     FormulaOr Fn;
     RuleOrElimination(FormulaOr F)
     {