New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java b/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java
index 880ca1a772f35276f66f972245397f84663bf6f6..9799a4388a1437307d43f4159e1e5004471e2de1 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java
+++ b/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java
@@ -3,6 +3,5 @@ package com.example.furt.myapplication;
 public interface IntroductionRule
 {
     int getPriority();
-    String getName();
     public Node createNodes(askFormula ask);
 }