summaryrefslogtreecommitdiffstats
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 eb3846cd..b8038b70 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -130,7 +130,7 @@ UnaryExpr {
130 !prefix 130 !prefix
131 ( 131 (
132 "+" | "-" | "!" | kw<"count"> | 132 "+" | "-" | "!" | kw<"count"> |
133 kw<"candidate"> | kw<"may"> | kw<"must"> 133 kw<"candidate"> kw<"partial"> | kw<"may"> | kw<"must">
134 ) 134 )
135 Expr 135 Expr
136} 136}