Skip to content
This repository was archived by the owner on Dec 23, 2023. It is now read-only.

Remove package qualification from Immutable annotations.#1793

Merged
sebright2 merged 1 commit intocensus-instrumentation:masterfrom
sebright2:remove-qualification-from-immutable-annotations
Mar 8, 2019
Merged

Remove package qualification from Immutable annotations.#1793
sebright2 merged 1 commit intocensus-instrumentation:masterfrom
sebright2:remove-qualification-from-immutable-annotations

Conversation

@sebright2
Copy link
Copy Markdown
Contributor

Upgrading to Checker Framework 2.7.0 in #1792 seemed to fix issue #1782, so this
commit removes the unnecessary package qualification.

Fixes #1782.

Upgrading to Checker Framework 2.7.0 in census-instrumentation#1792 seemed to fix issue census-instrumentation#1782, so this
commit removes the unnecessary package qualification.

Fixes census-instrumentation#1782.
Copy link
Copy Markdown
Contributor

@songy23 songy23 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@sebright2 sebright2 merged commit e4ce56b into census-instrumentation:master Mar 8, 2019
@sebright2 sebright2 deleted the remove-qualification-from-immutable-annotations branch March 8, 2019 21:48
@sebright2
Copy link
Copy Markdown
Contributor Author

Thanks for the reviews!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Investigate the error from checker framework with Immutable annotation.

3 participants