diff --git a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
index dc587028db09f3093dd6bf1de41f130e1608ff36..5873a5e261151b727dc7d2ec3daee7bd3993d69f 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
@@ -19,6 +19,7 @@ import de.prob.core.command.*;
 import de.prob.core.domainobjects.Operation;
 import de.prob.core.domainobjects.OperationInfo;
 import de.prob.exceptions.ProBException;
+import de.prob.logging.Logger;
 import de.prob.unicode.UnicodeTranslator;
 
 public class CustomPreconditionInputDialog extends InputDialog {
@@ -72,8 +73,11 @@ public class CustomPreconditionInputDialog extends InputDialog {
 					animator, op.getSource(),
 					Operation.getInternalName(op.getName()),
 					UnicodeTranslator.toUnicode(getValue()));
-
-			ExecuteOperationCommand.executeOperation(animator, customOp);
+            if (customOp==null) {
+            	Logger.notifyUser("Could not execute the event "+ op.getName() + " with the additional predicate provided!");
+            } else {
+			    ExecuteOperationCommand.executeOperation(animator, customOp);
+            }
 		} catch (ProBException e) {
 			// TODO Auto-generated catch block
 			e.printStackTrace();