diff options
Diffstat (limited to 'subprojects/language/src/main/java')
| -rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext index 95a64737..187ebf1f 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | |||
| @@ -8,9 +8,9 @@ Problem: | |||
| 8 | statements+=Statement*; | 8 | statements+=Statement*; |
| 9 | 9 | ||
| 10 | Statement: | 10 | Statement: |
| 11 | ClassDeclaration | EnumDeclaration | | 11 | Assertion | ClassDeclaration | EnumDeclaration | |
| 12 | PredicateDefinition | FunctionDefinition | /* RuleDefinition | */ | 12 | PredicateDefinition | FunctionDefinition | /* RuleDefinition | */ |
| 13 | Assertion | ScopeDeclaration | IndividualDeclaration; | 13 | ScopeDeclaration | IndividualDeclaration; |
| 14 | 14 | ||
| 15 | ClassDeclaration: | 15 | ClassDeclaration: |
| 16 | abstract?="abstract"? "class" | 16 | abstract?="abstract"? "class" |