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 ffae220c..a172835d 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -161,7 +161,7 @@ AssertionActionArgument { VariableName | StarArgument } | |||
| 161 | Constant { Real | String | StarMult | LogicValue } | 161 | Constant { Real | String | StarMult | LogicValue } |
| 162 | 162 | ||
| 163 | ReferenceKind { | 163 | ReferenceKind { |
| 164 | kw<"refers"> | ckw<"contains"> | kw<"container"> | 164 | kw<"refers"> | ckw<"contains"> | kw<"container"> | kw<"partial"> |
| 165 | } | 165 | } |
| 166 | 166 | ||
| 167 | LogicValue { | 167 | LogicValue { |