Skip to content

Remove ignored qualifiers.#246

Open
nlewycky wants to merge 1 commit intoStanfordPL:developfrom
nlewycky:develop
Open

Remove ignored qualifiers.#246
nlewycky wants to merge 1 commit intoStanfordPL:developfrom
nlewycky:develop

Conversation

@nlewycky
Copy link
Copy Markdown

@nlewycky nlewycky commented Jan 15, 2021

GCC 10.2.1 issues -Wignored-qualifiers warnings on the spurious 'const' in these places, which breaks the build when combined with -Werror.

GCC 10.2.1 issues a -Wignored-qualifiers on the spurious 'const' here, which breaks the build with -Werror.
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.

1 participant