From 57ac22e823dcd4827d17209b5bb888f5d6b50500 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 16:23:41 +0200
Subject: [PATCH] fix operator
---
.../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 f8b87c05..9dc9ef9e 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())) { // try to treat case IProofMonitor pm is null
+ (pm == null || !pm.isCanceled())) { // try to treat case IProofMonitor pm is null
Thread.sleep(200);
}
--
GitLab