From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 28 Jan 2023 19:11:48 +0000 (+0100)
Subject: Merge pull request #1724 from triska/clpz_corrections
X-Git-Tag: v0.9.2~204
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ac0cea8a73f7a6776d442c0e5de5e5b33a3fb8b1;p=scryer-prolog.git

Merge pull request #1724 from triska/clpz_corrections

CLP(ℤ) corrections
---

ac0cea8a73f7a6776d442c0e5de5e5b33a3fb8b1