New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java
index 0c266dd34b85d9b8effff26e7c8f2e8c18d6ab3b..f2fd1ffefbf4d7dbaf16a6e53a42a72579731677 100755 (executable)
--- 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)
     {