From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 8 Oct 2023 18:01:26 +0000 (-0600)
Subject: Merge pull request #2085 from triska/reification_same_queue
X-Git-Tag: remove~45
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=11c1ee44811c4a4e0aecd36eded218157e606078;p=scryer-prolog.git

Merge pull request #2085 from triska/reification_same_queue

Use the same queue for variables in reified constraints
---

11c1ee44811c4a4e0aecd36eded218157e606078