diff --git a/doc/xdump b/doc/xdump index 6b1d25b8..adca66c3 100644 --- a/doc/xdump +++ b/doc/xdump @@ -173,7 +173,8 @@ use '-' in meta-identifiers and omit the concatenation symbol ','. table = header { record } footer ; header = "XDUMP" space [ "meta" space ] identifier space timestamp newline ; - identifier = id-chr { id-chr } ; + identifier = id-char1 { id-char } ; + id-char1 = ? ASCII letter ? ; id-char = ? ASCII characters 33..126 except '"#()<>=' ? ; timestamp = intnum ; footer = "/" number newline ;