X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FRuleIntroduction.java;fp=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FRuleIntroduction.java;h=ed0b6a12e41eede9480e7406136cc1719c424e89;hb=43819143cf823e6767dc944fc4b095cf9a773ba2;hp=67301e0c90971fa443cb013d11283e8285cdaf7b;hpb=8dbc676367c5e63c1ebcabd00556497cf6f04fd7;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java b/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
index 67301e0..ed0b6a1 100755
--- a/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
@@ -11,10 +11,6 @@ public class RuleIntroduction implements IntroductionRule
     {
         ruleName=name; priority=p;
     }
-    public String getName()
-    {
-        return ruleName;
-    }
     public Node createNodes(askFormula ask)
     {
         Formula C=ask.Ask();