Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

wrongly added {} #1320

Closed
lynnboy opened this issue Jan 2, 2017 · 1 comment
Closed

wrongly added {} #1320

lynnboy opened this issue Jan 2, 2017 · 1 comment
Assignees
@jensmaurer

Comments

@lynnboy
Copy link

lynnboy commented Jan 2, 2017 •
edited

stmt.stmt/2:
there is a redundant {} in \grammarterm{}{condition}{s}.
Also in \grammarterm{}{declarator}.
Also in stmt.stmt/3-5.
Also in stmt.select/1, for \grammarterm{}{statement}.

I don't know whether these are intended (to temporarily disable the \grammarterm macro) or by mistakes.

In stmt.select/1, the statement before [Example, are the selection-statement and compound-statement need to be marked by \grammarterm?
@jensmaurer
Copy link
Member

Apparently, those are mistakes. We do want to mark grammar non-terminals in running text with \grammarterm.

@jensmaurer jensmaurer self-assigned this Jan 2, 2017
jensmaurer added a commit to jensmaurer/draft that referenced this issue Jan 2, 2017
@jensmaurer
[stmt.stmt] Remove stray {} after \grammarterm.
27b01b8 
Fixes cplusplus#1320.
@jensmaurer jensmaurer mentioned this issue Jan 2, 2017
Merged
tkoeppe pushed a commit that referenced this issue Jan 3, 2017
@jensmaurer @tkoeppe
[stmt.stmt] Remove stray {} after \grammarterm. (#1322)
2d4c278 
Fixes #1320.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lynnboy @jensmaurer