From 890e9374aec459803cd8794aa535c879256bb00d Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 21 Sep 2022 10:49:25 +0200
Subject: [PATCH] change text
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
.../src/de/prob/core/command/LoadEventBModelCommand.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java b/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
index de110e75..4e81cec3 100644
--- a/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
+++ b/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
@@ -97,11 +97,11 @@ public final class LoadEventBModelCommand {
int solsFound = explore.getState().getEnabledOperations().size();
if (solsFound > 0) {
message = "A timeout occured when finding constants after finding " + solsFound + " solution(s)."
- + " Typically this means, that your axioms are too complicated for automatical solving. "
+ + " Typically this means, that your axioms are too complicated for automatic solving. "
+ "You might create an animation refinement using the context menu to help ProB finding all solutions.";
} else {
message = "A timeout occured when finding constants."
- + " Typically this means, that your axioms are too complicated for automatical solving. "
+ + " Typically this means, that your axioms are too complicated for automatic solving. "
+ "You might create an animation refinement using the context menu to help ProB finding a solution.";
}
Logger.notifyUserWithoutBugreport(message);
--
GitLab