Fix bug 2413

diff --git a/doc/info/lang.html b/doc/info/lang.html
index e2df1a34d0360a5ecdf76e9048288ef3fa043afd..5395cb0426147e86195ee09ab154cc12aee5789c 100644 (file)
--- a/doc/info/lang.html
+++ b/doc/info/lang.html
@@ -65,7 +65,7 @@ Vertical bars | separate alternatives.
 <TR>
   <TD ALIGN=RIGHT><I>a_list</I></TD>
   <TD ALIGN=LEFT>:</TD>
-  <TD ALIGN=LEFT><I>ID</I> <B>'='</B> <I>ID</I> [ <B>','</B> ] [ <I>a_list</I> ]</TD>
+  <TD ALIGN=LEFT><I>ID</I> <B>'='</B> <I>ID</I> [ (<B>';'</B> | <B>','</B>) ] [ <I>a_list</I> ]</TD>
 </TR>
 <TR>
   <TD ALIGN=RIGHT><I>edge_stmt</I></TD>

diff --git a/doc/infosrc/grammar b/doc/infosrc/grammar
index d3d65b145c370beb7c0f32a3e79565be39955037..20b5210093518711ad99b932997ec88f6b583bbb 100644 (file)
--- a/doc/infosrc/grammar
+++ b/doc/infosrc/grammar
@@ -3,7 +3,7 @@ stmt_list     = [ stmt [ ';' ]  [ stmt_list ] ]
 stmt          =  node_stmt |  edge_stmt |  attr_stmt | ID '=' ID |  subgraph
 attr_stmt     =  ( T_graph | T_node | T_edge )  attr_list
 attr_list     =  '[' [ a_list ] ']' [ attr_list ]
-a_list        =  ID '=' ID [ ',' ] [ a_list ]
+a_list        =  ID '=' ID [ ( ';' | ',' ) ] [ a_list ]
 edge_stmt     =  ( node_id | subgraph ) edgeRHS [ attr_list ]
 edgeRHS       =  edgeop ( node_id | subgraph ) [ edgeRHS ]
 node_stmt     =  node_id [ attr_list ]