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 899c26b7e23b86465c44df14367b42719b3592ad..c609f3993694cc0267666f2a2fda8c5250be6048 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; }