From 4127228a299d04dfbe62e8b9d929b357406340ce Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Sun, 10 Jul 2011 18:00:54 +0400 Subject: [PATCH] Modifiers level fixed --- grammar/src/modifiers.grm | 2 +- .../jetbrains/jet/grammar/ConfluenceHyperlinksGenerator.java | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/grammar/src/modifiers.grm b/grammar/src/modifiers.grm index 0144ca36d6d..c56bfa8a28f 100644 --- a/grammar/src/modifiers.grm +++ b/grammar/src/modifiers.grm @@ -1,5 +1,5 @@ /** -h3. Modifiers +h2. Modifiers */ modifiers diff --git a/grammar/src/org/jetbrains/jet/grammar/ConfluenceHyperlinksGenerator.java b/grammar/src/org/jetbrains/jet/grammar/ConfluenceHyperlinksGenerator.java index f013196f32a..fb2cad5c64a 100644 --- a/grammar/src/org/jetbrains/jet/grammar/ConfluenceHyperlinksGenerator.java +++ b/grammar/src/org/jetbrains/jet/grammar/ConfluenceHyperlinksGenerator.java @@ -36,11 +36,11 @@ public class ConfluenceHyperlinksGenerator { "class_members", "enum", "types", - "modifiers", - "attributes", "control", "expressions", "when", + "modifiers", + "attributes", "lexical" );