Skip to content

fix: BoundVisitor should accept Bound instead of BoundTerm - #375

Merged
wgtmac merged 1 commit into
apache:mainfrom
wgtmac:fix_bound_visitor
Dec 1, 2025
Merged

fix: BoundVisitor should accept Bound instead of BoundTerm#375
wgtmac merged 1 commit into
apache:mainfrom
wgtmac:fix_bound_visitor

fix: BoundVisitor should accept Bound instead of BoundTerm

fbac372
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.