Skip to content
Snippets Groups Projects
Commit ed1db899 authored by Dr. Carl Corea's avatar Dr. Carl Corea
Browse files

Update EquivalentVerifier.java

parent cb169578
No related merge requests found
...@@ -65,7 +65,7 @@ public class EquivalentVerifier extends AbstractVerifier { ...@@ -65,7 +65,7 @@ public class EquivalentVerifier extends AbstractVerifier {
protected String getMessageText(RuleIdentifier r1, RuleIdentifier r2, String v1, String v2) { protected String getMessageText(RuleIdentifier r1, RuleIdentifier r2, String v1, String v2) {
return String.format( 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); r1.getRowNumber(), v1, r2.getRowNumber(), v2);
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment