From ee6ab585413d9bcff114eeeb2a355b475b2c2f3b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 24 Sep 2019 10:20:22 +0200
Subject: [PATCH] update text referring to additional guard
---
.../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 899c26b7..c609f399 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 can only be added to a single operation");
+ + " operations selected. An additional Guard Constraint can only be added to a single operation");
return null;
}
--
GitLab