From d5d03fb91c616b048f43573cb54b73c7771fb9bc Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 18 Apr 2013 09:55:15 +0200
Subject: [PATCH] remove old comments

---
 .../eventb/disprover/core/internal/DisproverCommand.java    | 6 ------
 1 file changed, 6 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 cfea4722..db28357f 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
@@ -38,13 +38,7 @@ import de.prob.prolog.term.PrologTerm;
 public class DisproverCommand implements IComposableCommand {
 
 	private static final String RESULT = "Result";
-	/**
-	 * Lifted from {@link LoadEventBModelCommand}
-	 */
 
-	// private final AEventBModelParseUnit machineAst;
-	// private final List<AEventBContextParseUnit> contextAsts;
-	// private final List<DisproverIdentifier> vars;
 	private CounterExample counterExample;
 	private final Set<Predicate> hypotheses;
 	private final Predicate goal;
-- 
GitLab