From: Mark Thom Date: Thu, 13 Feb 2025 07:19:34 +0000 (-0800) Subject: Merge pull request #2812 from bakaq/attr_vars_arity_fix X-Git-Tag: v0.10.0~75 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e5cca9d10aea361c0cf0543e2b315677182ae044;p=scryer-prolog.git Merge pull request #2812 from bakaq/attr_vars_arity_fix Fix bug in finding arity for verify attributes --- e5cca9d10aea361c0cf0543e2b315677182ae044