diff options
Diffstat (limited to 'subprojects/language/src')
-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" |