Skip to content

Bugfix: Merge callsites when visiting args#117

Merged
scudette merged 1 commit intomasterfrom
visitor_bug
May 20, 2025
Merged

Bugfix: Merge callsites when visiting args#117
scudette merged 1 commit intomasterfrom
visitor_bug

Conversation

@scudette
Copy link
Contributor

This would cause callsites to be lost within args subqueries which affected the verifier

This would cause callsites to be lost within args subqueries which
affected the verifier
@scudette scudette merged commit e30ee3b into master May 20, 2025
3 checks passed
@scudette scudette deleted the visitor_bug branch May 20, 2025 02:31
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