Skip to content

Commit 11eabe9

Browse files
tkoeppelprv
andauthored
[temp.param] Remove mistaken "opt".
This fixes an oversight in the paper. Co-authored-by: lprv <100177227+lprv@users.noreply.github.com>
1 parent 745fbf7 commit 11eabe9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/templates.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -266,7 +266,7 @@
266266
\begin{bnf}
267267
\nontermdef{type-tt-parameter}\br
268268
template-head type-parameter-key \opt{\terminal{...}} \opt{identifier}\br
269-
template-head type-parameter-key \opt{identifier} \opt{type-tt-parameter-default}
269+
template-head type-parameter-key \opt{identifier} type-tt-parameter-default
270270
\end{bnf}
271271

272272
\begin{bnf}

0 commit comments

Comments
 (0)