From 4fa5956e92898e5b45be4e8bdaff204d8ea7cab0 Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:30:49 +0200
Subject: [PATCH] Update OverlappingVerifier.java

---
 .../fgbks/dmn/core/verifier/OverlappingVerifier.java          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java
index 3f6421b..56cbaba 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java
@@ -147,14 +147,14 @@ public class OverlappingVerifier extends AbstractVerifier {
     StringBuilder sb = new StringBuilder();
     sb.append("In table ");
     sb.append(currentRuleIdentifiers.get(0).getTableName());
-    sb.append(" rules ");
+    sb.append(", rules ");
     sb.append(
         currentRuleIdentifiers.stream()
             .map(c -> c.getRowNumber().toString())
             .collect(Collectors.joining(", ")));
     sb.append(" are overlapping.");
     if (isDifferentConclusion) {
-      sb.append(" The output has different conclusions!");
+      sb.append(" The outputs have different conclusions!");
     } else {
       sb.append(" The output is the same.");
     }
-- 
GitLab