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 50c44801b85ab6b0da437ea00fd6d4072827ed72..2febdebfaba1350521a9b048b0ffdc8c76036378 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 @@ -118,7 +118,7 @@ public class DisproverCommand implements IComposableCommand { counterExample = null; if ("time_out".equals(term.getFunctor())) { - counterExample = new CounterExample(true, true); + counterExample = new CounterExample(false, true); } if ("interrupted".equals(term.getFunctor())) { throw new CommandException("Interrupted");