New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java b/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
index 67301e0c90971fa443cb013d11283e8285cdaf7b..ed0b6a12e41eede9480e7406136cc1719c424e89 100755 (executable)
--- 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();