fix validation

opencaesar · Aug 7, 2024 · 610b38e · 610b38e
1 parent 1f05cf7
commit 610b38e
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/io.opencaesar.oml/src/io/opencaesar/oml/util/OmlValidator2.java b/io.opencaesar.oml/src/io/opencaesar/oml/util/OmlValidator2.java
@@ -753,11 +753,7 @@ boolean validateScalarEquivalenceAxioms(ScalarEquivalenceAxiom object, Diagnosti
      */
     boolean validateTypePredicateAsConsequent(TypePredicate object, DiagnosticChain diagnostics, Map<Object, Object> context) {
         if (object.getConsequentRule() != null) {
-	       if (object.getType() instanceof Entity) {
-	            return report(Diagnostic.ERROR, diagnostics, object,
-	                "Entity "+object.getType().getAbbreviatedIri()+" cannot be used as a consequent predicate", 
-	                OmlPackage.Literals.TYPE_PREDICATE__TYPE);
-	        } else if (object.getType() instanceof Scalar) {
+	       if (object.getType() instanceof Scalar) {
 	            return report(Diagnostic.ERROR, diagnostics, object,
 	                    "Scalar "+object.getType().getAbbreviatedIri()+" cannot be used as a consequent predicate", 
 	                    OmlPackage.Literals.TYPE_PREDICATE__TYPE);