Skip to content

Remove unused variable #619

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
Merged
rhornung67 merged 2 commits into from
Jan 13, 2026
Merged

Remove unused variable #619

rhornung67 merged 2 commits into from
Jan 13, 2026

Conversation

@artv3
Copy link
Member

@artv3 artv3 commented Jan 9, 2026

Summary

Compiler reports unused variable const bool separate_files = false;

@artv3 artv3 requested a review from a team January 9, 2026 18:20
@artv3 artv3 changed the title clean up unused var Remove unused var Jan 9, 2026
@artv3 artv3 changed the title Remove unused var Remove unused variable Jan 9, 2026
@rhornung67 rhornung67 merged commit ff75253 into develop Jan 13, 2026
17 checks passed
@rhornung67 rhornung67 deleted the artv3/remove-unused-var branch January 13, 2026 19:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@adayton1 adayton1 adayton1 approved these changes

@rhornung67 rhornung67 rhornung67 approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@artv3 @adayton1 @rhornung67