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> "." |