diff options
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
-rw-r--r-- | language-web/src/main/js/language/problem.grammar | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar index c242a4ba..86cc7722 100644 --- a/language-web/src/main/js/language/problem.grammar +++ b/language-web/src/main/js/language/problem.grammar | |||
@@ -24,7 +24,7 @@ statement { | |||
24 | RuleBody { ":" sep<OrOp, Conjunction> "~>" sep<OrOp, Action> "." } | 24 | RuleBody { ":" sep<OrOp, Conjunction> "~>" sep<OrOp, Action> "." } |
25 | } | | 25 | } | |
26 | Assertion { | 26 | Assertion { |
27 | ckw<"default">? (NotOp | UnknownOp)? RelationName | 27 | kw<"default">? (NotOp | UnknownOp)? RelationName |
28 | ParameterList<AssertionArgument> (":" LogicValue)? "." | 28 | ParameterList<AssertionArgument> (":" LogicValue)? "." |
29 | } | | 29 | } | |
30 | NodeValueAssertion { | 30 | NodeValueAssertion { |
@@ -34,7 +34,7 @@ statement { | |||
34 | ckw<"unique"> sep<",", UniqueNodeName> "." | 34 | ckw<"unique"> sep<",", UniqueNodeName> "." |
35 | } | | 35 | } | |
36 | ScopeDeclaration { | 36 | ScopeDeclaration { |
37 | ckw<"scope"> sep<",", ScopeElement> "." | 37 | kw<"scope"> sep<",", ScopeElement> "." |
38 | } | 38 | } |
39 | } | 39 | } |
40 | 40 | ||