diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
index 90e2286151dd2fc5d98a552666f504cc1ef372f3..f35c24d94b78a85be12fc6e31cc65559373c1345 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
@@ -43,9 +43,6 @@ public class DisproverReasoner implements IReasoner {
 		return DISPROVER_REASONER_NAME;
 	}
 
-	/**
-	 * Applies the Disprover by building a machine from Goal and Hypotheses.
-	 */
 	@Override
 	public IReasonerOutput apply(final IProverSequent sequent,
 			final IReasonerInput input, final IProofMonitor pm) {