Skip to content

[namespace.alias], [over.oper.general] Remove trailing \br in grammar#8498

Merged
tkoeppe merged 2 commits into
cplusplus:mainfrom
eisenwave:remove-trailing-br
Nov 10, 2025
Merged

[namespace.alias], [over.oper.general] Remove trailing \br in grammar#8498
tkoeppe merged 2 commits into
cplusplus:mainfrom
eisenwave:remove-trailing-br

Conversation

@eisenwave

Copy link
Copy Markdown
Member

Using

pcregrep -M -n -r '\\br\s+\\end' *.tex

I was able to find a few bugs where \br was added at the end of a grammar. This results in a bogus line break:
image

These are the only two such occurrences.

We should also make a check that prevents this from happening again: #8494

@eisenwave eisenwave added the P2-Bug Presentational errors and omissions label Nov 10, 2025
@tkoeppe

tkoeppe commented Nov 10, 2025

Copy link
Copy Markdown
Contributor

Thank you, yes, this is quite a common mistake, and if we could check for it, that'd be helpful.

@tkoeppe tkoeppe merged commit 6d9fa97 into cplusplus:main Nov 10, 2025
2 checks passed
@tkoeppe tkoeppe removed the P2-Bug Presentational errors and omissions label Nov 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants