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 --- subprojects/frontend/src/language/problem.grammar | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/frontend/src/language') diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index f3794e27..ac0b0ea3 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar @@ -51,7 +51,7 @@ ReferenceDeclaration { ";"? } -Parameter { RelationName? VariableName } +Parameter { Modality? RelationName? VariableName } Conjunction { ("," | Literal)+ } -- cgit v1.2.3-54-g00ecf