refactor(language): allow rules without preconditions

1 files changed, 0 insertions, 4 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java b/subprojects/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java
index 21dd7218..36a77ac7 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java
@@ -413,10 +413,6 @@ public class ProblemValidator extends AbstractProblemValidator {
 
         @Check
         public void checkRuleDefinition(RuleDefinition ruleDefinition) {
-                if (ruleDefinition.getKind() != RuleKind.REFINEMENT && ruleDefinition.getPreconditions().isEmpty()) {
-                        acceptError("Decision and propagation rules must have at least one precondition.", ruleDefinition,
-                                        ProblemPackage.Literals.NAMED_ELEMENT__NAME, 0, INVALID_RULE_ISSUE);
-                }
                 if (ruleDefinition.getConsequents().size() != 1) {
                         acceptError("Rules must have exactly one consequent.", ruleDefinition,
                                         ProblemPackage.Literals.NAMED_ELEMENT__NAME, 0, INVALID_RULE_ISSUE);