X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FRuleImplElimination.java;h=f2fd1ffefbf4d7dbaf16a6e53a42a72579731677;hb=e477ff2be762ba333c5c77c14bfdea574c700259;hp=0c266dd34b85d9b8effff26e7c8f2e8c18d6ab3b;hpb=92c1b7c5e38b8d6ffbeffb2c515bb99149841803;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java
index 0c266dd..f2fd1ff 100755
--- a/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java
@@ -3,10 +3,6 @@ package com.example.furt.myapplication;
 public class RuleImplElimination implements EliminationRule
 {
     String ruleName;
-    public String getName()
-    {
-        return ruleName;
-    }
     FormulaImpl Fn;
     RuleImplElimination(FormulaImpl F)
     {