From ed1db89959b63bb045fe7d902176e516b3f84573 Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:28:06 +0200
Subject: [PATCH] Update EquivalentVerifier.java
---
.../unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java
index ee53b23..5d1468c 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java
@@ -65,7 +65,7 @@ public class EquivalentVerifier extends AbstractVerifier {
protected String getMessageText(RuleIdentifier r1, RuleIdentifier r2, String v1, String v2) {
return String.format(
- "In rule %d string \"%s\" and in rule %d string \"%s\": equal meaning? Are they synonyms?",
+ "\"%s\" in rule %d and \"%s\" in rule %d are synonyms. Rules might be equivalent.",
r1.getRowNumber(), v1, r2.getRowNumber(), v2);
}
--
GitLab