BSV Ref Guide: Fix the syntax for struct patterns

Vekhir · Aug 5, 2023 · 42fb7b6 · 42fb7b6
1 parent de46310
commit 42fb7b6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/doc/BSV_ref_guide/BSV_lang.tex b/doc/BSV_ref_guide/BSV_lang.tex
@@ -7312,7 +7312,7 @@ \section{Pattern matching}
 
 \gram{taggedUnionPattern}{ \term{tagged} \nterm{Identifier} \opt{ \nterm{pattern} } }
 
-\gram{structPattern}{ \term{tagged} \nterm{Identifier}
+\gram{structPattern}{ \nterm{Identifier}
                           \term{\{} 
                             \nterm{identifier} \term{:} \nterm{pattern}
                             \many{ \term{,}
@@ -7343,9 +7343,9 @@ \section{Pattern matching}
 is not a \texttt{void} member, it must be followed by a pattern for that
 member.
 
-In a struct pattern, the \nterm{Identifier} following the
-{\term{tagged}} keyword is the type name of the struct as given in its
-typedef declaration.  Within the braces are listed, recursively, the
+A struct pattern consists of an identifier followed by braces, where
+the identifier is the type name of the struct as given in its typedef
+declaration.  Within the braces are listed, recursively, the
 member name and a pattern for each member of the struct.  The members
 can be listed in any order, and members can be omitted.