From d6c7324aea19c0bca38d8581653272d667ed76aa Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 6 Jun 2013 13:52:46 +0200
Subject: [PATCH] remove outdated comment
---
.../prob/eventb/disprover/core/internal/DisproverReasoner.java | 3 ---
1 file changed, 3 deletions(-)
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 90e22861..f35c24d9 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) {
--
GitLab