diff options
Diffstat (limited to 'language-web/src/main/js/language/problem.grammar')
| -rw-r--r-- | language-web/src/main/js/language/problem.grammar | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar index 0cbfa831..bccc2e31 100644 --- a/language-web/src/main/js/language/problem.grammar +++ b/language-web/src/main/js/language/problem.grammar | |||
| @@ -35,7 +35,7 @@ statement { | |||
| 35 | IndividualNodeName ":" Constant "." | 35 | IndividualNodeName ":" Constant "." |
| 36 | } | | 36 | } | |
| 37 | IndividualDeclaration { | 37 | IndividualDeclaration { |
| 38 | ckw<"individual"> sep<",", IndividualNodeName> "." | 38 | ckw<"indiv"> sep<",", IndividualNodeName> "." |
| 39 | } | | 39 | } | |
| 40 | ScopeDeclaration { | 40 | ScopeDeclaration { |
| 41 | kw<"scope"> sep<",", ScopeElement> "." | 41 | kw<"scope"> sep<",", ScopeElement> "." |