diff --git a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java index 820b8a59732ea83e098b0bffb66eefea66d1efdc..c609f3993694cc0267666f2a2fda8c5250be6048 100644 --- a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java +++ b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java @@ -39,14 +39,8 @@ public class CustomPreconditionDialogHandler extends AbstractHandler implements if (op == null) return null; try { - int hisSize = Animator.getAnimator().getHistory().size(); - System.out.println("History Size = " + hisSize); ExecuteOperationCommand .executeOperation(Animator.getAnimator(), op); - // TODO: provide feedback when we cannot execute operation - if (Animator.getAnimator().getHistory().size() <= hisSize) { - Logger.notifyUser("Could not execute event "+ filtered.get(0).getName() + " with the additional predicate provided!"); - } } catch (ProBException e) { e.notifyUserOnce(); }