From 6aca970b88da9f7f45ad7c38e400d62ae82f55f7 Mon Sep 17 00:00:00 2001
From: Alessandro Coglio <coglio@kestrel.edu>
Date: Fri, 4 Mar 2022 19:51:14 -0800
Subject: [PATCH] [ABNF] Re-generate markdown.

(Forgot to do this in the previous commit.)
---
 docs/grammar/README.md | 33 +++++++--------------------------
 1 file changed, 7 insertions(+), 26 deletions(-)

diff --git a/docs/grammar/README.md b/docs/grammar/README.md
index 26032ade6b..063df6180e 100644
--- a/docs/grammar/README.md
+++ b/docs/grammar/README.md
@@ -1013,34 +1013,24 @@ An array type consists of an element type
 and an indication of dimensions.
 There is either a single dimension,
 or a tuple of one or more dimensions.
-Each dimension is natural.
+Each dimension is a natural.
 
 <a name="array-type"></a>
 ```abnf
-array-type = "[" type ";" array-type-dimensions "]"
+array-type = "[" type ";" array-dimensions "]"
 ```
 
-Go to: _[array-type-dimensions](#user-content-array-type-dimensions), [type](#user-content-type)_;
+Go to: _[array-dimensions](#user-content-array-dimensions), [type](#user-content-type)_;
 
 
-<a name="array-type-dimension"></a>
+<a name="array-dimensions"></a>
 ```abnf
-array-type-dimension = natural / "_"
+array-dimensions = natural / "(" natural *( "," natural ) ")"
 ```
 
 Go to: _[natural](#user-content-natural)_;
 
 
-<a name="array-type-dimensions"></a>
-```abnf
-array-type-dimensions = array-type-dimension
-                      / "(" array-type-dimension
-                            *( "," array-type-dimension ) [","] ")"
-```
-
-Go to: _[array-type-dimension](#user-content-array-type-dimension)_;
-
-
 The keyword `Self` denotes the enclosing circuit type.
 It is only allowed inside a circuit type declaration.
 
@@ -1214,19 +1204,10 @@ Go to: _[expression](#user-content-expression)_;
 
 <a name="array-repeat-construction"></a>
 ```abnf
-array-repeat-construction = "[" expression ";" array-expression-dimensions "]"
+array-repeat-construction = "[" expression ";" array-dimensions "]"
 ```
 
-Go to: _[array-expression-dimensions](#user-content-array-expression-dimensions), [expression](#user-content-expression)_;
-
-
-<a name="array-expression-dimensions"></a>
-```abnf
-array-expression-dimensions = natural
-                            / "(" natural *( "," natural ) ")"
-```
-
-Go to: _[natural](#user-content-natural)_;
+Go to: _[array-dimensions](#user-content-array-dimensions), [expression](#user-content-expression)_;
 
 
 <a name="array-construction"></a>