Skip to content
Snippets Groups Projects
Commit 8500c13e authored by Sebastian Krings's avatar Sebastian Krings
Browse files

there is no shell available here. remove dialog window

parent 70b4da62
No related branches found
No related tags found
No related merge requests found
......@@ -4,9 +4,6 @@ import java.util.HashSet;
import java.util.Set;
import org.eclipse.core.runtime.Status;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.PlatformUI;
import org.eventb.core.IEventBProject;
import org.eventb.core.IPOSequent;
import org.eventb.core.ast.Predicate;
......@@ -186,15 +183,6 @@ public class DisproverReasoner implements IReasoner {
System.out.println(sequent.toString()
+ ": Counter-Example for selected hypotheses found.");
Shell activeShell = PlatformUI.getWorkbench()
.getActiveWorkbenchWindow().getShell();
MessageDialog
.openWarning(
activeShell,
"Goal not provable",
"ProB found a Counter-Example for the selected Hypotheses, Goal not provable from selected Hypotheses but may be provable with all Hypotheses.\n"
+ counterExample.toString());
return ProverFactory
.reasonerFailure(
this,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment