diff options
Diffstat (limited to 'subprojects/language/src')
-rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | 2 |
1 files changed, 1 insertions, 1 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 74b0d50e..f7b86dca 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext +++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext | |||
@@ -49,7 +49,7 @@ RuleDefinition: | |||
49 | "."; | 49 | "."; |
50 | 50 | ||
51 | Parameter: | 51 | Parameter: |
52 | parameterType=[Relation|QualifiedName]? name=Identifier; | 52 | (modality=Modality? parameterType=[Relation|QualifiedName])? name=Identifier; |
53 | 53 | ||
54 | Conjunction: | 54 | Conjunction: |
55 | literals+=Literal ("," literals+=Literal)*; | 55 | literals+=Literal ("," literals+=Literal)*; |