From b2e8b598046b428ef279f982dad1845feba27365 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Fri, 11 Oct 2019 21:18:31 +0200
Subject: [PATCH] Switch empty output verification to modeling level
 verification

---
 .../verification/verifier/types/EmptyOutputVerification.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java
index b90a710d..5c7c7a14 100644
--- a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java
+++ b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java
@@ -3,7 +3,7 @@ package de.unikoblenz.fgbks.core.dmn.verification.verifier.types;
 import de.unikoblenz.fgbks.base.domain.Description;
 import de.unikoblenz.fgbks.base.domain.Name;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ClassificationType;
-import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.SyntaxLevelVerification;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.ModelingLevelVerification;
 import javax.validation.constraints.NotNull;
 
 @Type
@@ -21,6 +21,6 @@ public class EmptyOutputVerification extends AbstractVerificationType {
 
   @Override
   public @NotNull ClassificationType getClassification() {
-    return SyntaxLevelVerification.getInstance();
+    return ModelingLevelVerification.getInstance();
   }
 }
-- 
GitLab