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

update comment

parent 57ac22e8
......@@ -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);
}
......
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