Commit e109580a authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add comment

parent 694533fe
......@@ -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);
}
......
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