fix headings in lang spec

reqT · Jan 22, 2025 · 67081dd · 67081dd
1 parent 4f63c50
commit 67081dd
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/docs/langSpec-GENERATED.md b/docs/langSpec-GENERATED.md
@@ -52,19 +52,19 @@ Each line is split into a sequence of the following tokens types:
 
 ## Model Syntax
 
-# Lexical Syntax
+### Lexical Syntax
 
 The source code of a Model consists of Unicode text. 
 
-## Preprocessing
+### Preprocessing
 
 The source code is pre-processed as follows: 
 * The source code is split by '
 ' into a sequence of lines. 
 * Each line with index i is given an integer value `leading(i)` corresponding to the number of leading whitespace characters. 
 * The lexical analyzer inserts Indent(n) and Outdent(n) tokens that represent regions of indented code based on leading(i), where n denotes indent level.
 
-## Grammar
+### Grammar
 
 A legal `reqt` model abides the following grammar, where `|` denotes alternative and `*` denotes zero or more: 
 ```
@@ -114,7 +114,7 @@ RelType ::= 'Binds' | 'Deprecates' | 'Excludes' | 'Has' | 'Helps' | 'Hurts' | 'I
 'InteractsWith' | 'Is' | 'Precedes' | 'RelatesTo' | 'Requires' | 'Verifies'
 ```
 
-## Special Parsing Rules
+### Special Parsing Rules
 
 The following rules provides exceptions to the above grammar: 
 

diff --git a/src/test/scala/langSpec.scala b/src/test/scala/langSpec.scala
@@ -56,18 +56,18 @@ Each line is split into a sequence of the following tokens types:
 
 ## Model Syntax
 
-# Lexical Syntax
+### Lexical Syntax
 
 The source code of a Model consists of Unicode text. 
 
-## Preprocessing
+### Preprocessing
 
 The source code is pre-processed as follows: 
 * The source code is split by '\n' into a sequence of lines. 
 * Each line with index i is given an integer value `leading(i)` corresponding to the number of leading whitespace characters. 
 * The lexical analyzer inserts Indent(n) and Outdent(n) tokens that represent regions of indented code based on leading(i), where n denotes indent level.
 
-## Grammar
+### Grammar
 
 A legal `reqt` model abides the following grammar, where `|` denotes alternative and `*` denotes zero or more: 
 ```
@@ -108,7 +108,7 @@ StrAttrType ::= ${meta.strAttrNames.map(n => s"'$n'").mkString(" | ").wrap(80)}
 RelType ::= ${meta.relationNames.map(_.capitalize).map(n => s"'$n'").mkString(" | ").wrap(80)}
 ```
 
-## Special Parsing Rules
+### Special Parsing Rules
 
 The following rules provides exceptions to the above grammar: