Commit 57ac22e8 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

fix operator

parent e109580a
......@@ -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);
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment