From 3889f0165afb48faf6dec89e0a87d97eadb28620 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 24 Sep 2019 16:10:29 +0200
Subject: [PATCH] remove unused check

the problem is caught and reported
somewhere else
---
 .../ui/operationview/CustomPreconditionDialogHandler.java   | 6 ------
 1 file changed, 6 deletions(-)

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 820b8a59..c609f399 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();
 		}
-- 
GitLab