X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FRuleNotElimination.java;h=7c7aaca7511eea01c353e316d68945a0b7dab74d;hb=e477ff2be762ba333c5c77c14bfdea574c700259;hp=ec5034b9482190866a545f3ae673cc083cebeb2a;hpb=92c1b7c5e38b8d6ffbeffb2c515bb99149841803;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java
index ec5034b..7c7aaca 100755
--- 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)
     {