Skip to content

Commit 7838080

Browse files
committed
[gram.key] Make BNF for namespace-name the same as in [gram.dcl] and [namespace.def].
1 parent 5699cc2 commit 7838080

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

source/grammar.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@
3232

3333
\begin{bnf}
3434
namespace-name:\br
35-
original-namespace-name\br
35+
identifier\br
3636
namespace-alias
3737

3838
original-namespace-name:\br

tools/grambase.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@
3232

3333
\begin{bnf}
3434
namespace-name:\br
35-
original-namespace-name\br
35+
identifier\br
3636
namespace-alias
3737

3838
original-namespace-name:\br

0 commit comments

Comments
 (0)