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 cfea47220a71f21723d3738891843a057cda8910..db28357ff5fad5ba1d445975999db817bcd82adb 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;