From e109580a7c72dcbf7e13f55dbcc21f1e0b630535 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 16:15:45 +0200
Subject: [PATCH] add 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 4ca492fa..f8b87c05 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 or !pm.isCanceled())) {
+ (pm==null or !pm.isCanceled())) { // try to treat case IProofMonitor pm is null
Thread.sleep(200);
}
--
GitLab