From e2f996fff3e1cd9d67597685415533a8b0fb9f6d Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 17:55:28 +0200
Subject: [PATCH] update comment
---
.../prob/eventb/disprover/core/internal/DisproverCommand.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 9dc9ef9e..84be7aee 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
@@ -107,7 +107,7 @@ public class DisproverCommand implements IComposableCommand {
job.schedule();
while (job.getResult() == null &&
- (pm == null || !pm.isCanceled())) { // try to treat case IProofMonitor pm is null
+ (pm == null || !pm.isCanceled())) { // treat case IProofMonitor is null; done by Rodin 3.5RC at startup
Thread.sleep(200);
}
--
GitLab