From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 4 Dec 2025 02:10:46 +0000 (-0700)
Subject: Merge pull request #3185 from mthom/install_verify_attr_opt
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=96a9dfcc1b0c7cbb7a55e46e9e48ee10705cabc7;p=scryer-prolog.git

Merge pull request #3185 from mthom/install_verify_attr_opt

Optimize `verify_attr` by removing the need to scan instructions
---

96a9dfcc1b0c7cbb7a55e46e9e48ee10705cabc7