Skip to content

Remove hidden dependency of CompilerStack on BMC header - #17131

Merged
blishko merged 1 commit into
developfrom
transitive-include-cleanup
Oct 20, 2026
Merged

blishko merged 1 commit into
developfrom
transitive-include-cleanup

Conversation

@blishko

@blishko blishko commented Oct 20, 2026

Copy link
Copy Markdown
Contributor

Due the using in the BMC header, CompilerStack got away with not qualifying where h256 comes from.
As a preparation for removing BMC engine, we remove the using from the BMC header.

Due the `using` in the BMC header, `CompilerStack` got away with not
qualifying where `h256` comes from.
As a preparation for removing BMC engine, we remove the using from the
BMC header.
@blishko
blishko merged commit 3eb0c3a into develop Oct 20, 2026
84 checks passed
@blishko
blishko deleted the transitive-include-cleanup branch October 20, 2026 19:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants