From ca3687463de656a2c59fe108f8baaf1f3d289fac Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 18 Apr 2013 09:55:28 +0200
Subject: [PATCH] remove unused local variable, simplifies constructor
---
.../eventb/disprover/core/internal/DisproverCommand.java | 9 ++-------
1 file changed, 2 insertions(+), 7 deletions(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index db28357f..09429937 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -11,7 +11,6 @@ import de.prob.core.command.ClearMachineCommand;
import de.prob.core.command.CommandException;
import de.prob.core.command.ComposedCommand;
import de.prob.core.command.IComposableCommand;
-import de.prob.core.command.LoadEventBModelCommand;
import de.prob.core.command.SetPreferencesCommand;
import de.prob.core.command.StartAnimationCommand;
import de.prob.core.command.internal.InternalLoadCommand;
@@ -42,14 +41,10 @@ public class DisproverCommand implements IComposableCommand {
private CounterExample counterExample;
private final Set<Predicate> hypotheses;
private final Predicate goal;
- private final IEventBRoot root;
- public DisproverCommand(Set<Predicate> hypotheses, Predicate goal,
- IEventBRoot root) {
+ public DisproverCommand(Set<Predicate> hypotheses, Predicate goal) {
this.hypotheses = hypotheses;
this.goal = goal;
- this.root = root;
-
}
public static ICounterExample disprove(Animator animator,
@@ -63,7 +58,7 @@ public class DisproverCommand implements IComposableCommand {
final StartAnimationCommand start = new StartAnimationCommand();
- DisproverCommand disprove = new DisproverCommand(hypotheses, goal, root);
+ DisproverCommand disprove = new DisproverCommand(hypotheses, goal);
final ComposedCommand composed = new ComposedCommand(clear, setPrefs,
load, start, disprove);
--
GitLab