diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
| -rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index b08a9c36..ac451e7a 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -57,10 +57,10 @@ statement { | |||
| 57 | // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } | 57 | // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } |
| 58 | //} | | 58 | //} | |
| 59 | AtomDeclaration { | 59 | AtomDeclaration { |
| 60 | ckw<"atom"> sep<",", AtomNodeName> "." | 60 | kw<"declare">? ckw<"atom"> sep<",", AtomNodeName> "." |
| 61 | } | | 61 | } | |
| 62 | NodeDeclaration { | 62 | NodeDeclaration { |
| 63 | (ckw<"node"> | ckw<"multi">) sep<",", NodeName> "." | 63 | (kw<"declare"> | kw<"declare">? ckw<"multi">) sep<",", NodeName> "." |
| 64 | } | | 64 | } | |
| 65 | ScopeDeclaration { | 65 | ScopeDeclaration { |
| 66 | kw<"scope"> sep<",", ScopeElement> "." | 66 | kw<"scope"> sep<",", ScopeElement> "." |