aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/language/problem.grammar
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r--subprojects/frontend/src/language/problem.grammar2
1 files changed, 1 insertions, 1 deletions
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 {
51 ";"? 51 ";"?
52} 52}
53 53
54Parameter { RelationName? VariableName } 54Parameter { Modality? RelationName? VariableName }
55 55
56Conjunction { ("," | Literal)+ } 56Conjunction { ("," | Literal)+ }
57 57