diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
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 | } |