From 78bb24d876fe8b93029e100a0d8c1d6eccdcce58 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de> Date: Tue, 24 Sep 2019 16:26:59 +0200 Subject: [PATCH] replace operation by event --- .../prob/ui/operationview/CustomPreconditionDialogHandler.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 c609f399..ed4fe2bc 100644 --- a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java +++ b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionDialogHandler.java @@ -30,7 +30,7 @@ public class CustomPreconditionDialogHandler extends AbstractHandler implements if (filtered.size() != 1) { Logger.notifyUser(filtered.size() - + " operations selected. An additional Guard Constraint can only be added to a single operation"); + + " events selected. An additional Guard Constraint can only be added to a single event"); return null; } -- GitLab