Fixes missing positional information in error reason caused by PredicateInstance plugin#836

Merged

ArquintL merged 1 commit into

arquintl-fix-predicate-instance-position

Jan 31, 2025

Commits on Jan 31, 2025

fixes PredicateInstance plugin to propagate a predicate instance's positional information to not only the generatated PredicateAccessPredicate but also PredicateAccess as the latter is used as offe…
ArquintL
committed

⚡