From 7ca58084c41c8bbb988e7bd7edf8092fd88121f9 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 29 May 2013 13:32:00 +0200
Subject: [PATCH] Improved Error Message (PROBPLUGIN-75)
---
.../src/de/prob/eventb/translator/internal/ModelTranslator.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index 35069296..eba94499 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -114,7 +114,7 @@ public class ModelTranslator extends AbstractComponentTranslator {
public AEventBModelParseUnit getModelAST() {
if (broken) {
- final String message = "The machine contains Rodin Problems. Please fix it before animating";
+ final String message = "The machine contains Rodin Problems. ProB will continue, but you may observe unexpected behaviour";
Logger.notifyUserWithoutBugreport(message);
return model;
}
--
GitLab