New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java
index ec5034b9482190866a545f3ae673cc083cebeb2a..7c7aaca7511eea01c353e316d68945a0b7dab74d 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java
@@ -3,10 +3,6 @@ package com.example.furt.myapplication;
 public class RuleNotElimination implements EliminationRule
 {
     String ruleName;
-    public String getName()
-    {
-        return ruleName;
-    }
     FormulaNot Fn;
     RuleNotElimination(FormulaNot F)
     {