From 66a7758d4838a76a7979420f1674f8fbd664e3f2 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 10 Aug 2022 18:33:20 +0200 Subject: feat(language): modal parameter types --- .../language/src/main/java/tools/refinery/language/Problem.xtext | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/language/src/main/java') 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: "."; Parameter: - parameterType=[Relation|QualifiedName]? name=Identifier; + (modality=Modality? parameterType=[Relation|QualifiedName])? name=Identifier; Conjunction: literals+=Literal ("," literals+=Literal)*; -- cgit v1.2.3-54-g00ecf