diff options
Diffstat (limited to 'subprojects/frontend/src/language')
| -rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index b8038b70..56867964 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -52,8 +52,7 @@ statement { | |||
| 52 | kw<"extern"> ckw<"aggregator"> AggregatorName "." | 52 | kw<"extern"> ckw<"aggregator"> AggregatorName "." |
| 53 | } | | 53 | } | |
| 54 | PredicateDefinition { | 54 | PredicateDefinition { |
| 55 | ckw<"shadow">? | 55 | ((kw<"error"> | kw<"partial"> | ckw<"shadow">)* kw<"pred"> | kw<"error">) |
| 56 | (kw<"error">? kw<"pred"> | kw<"error">) | ||
| 57 | RelationName ParameterList<Parameter>? | 56 | RelationName ParameterList<Parameter>? |
| 58 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } | 57 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } |
| 59 | } | | 58 | } | |