From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 27 May 2023 17:07:50 +0000 (-0600)
Subject: Merge pull request #1816 from notoria/clpz
X-Git-Tag: v0.9.2~132
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7bc7f0ad06e5b7fb64df1fb7d542f72c5e6f3942;p=scryer-prolog.git

Merge pull request #1816 from notoria/clpz

Small fixes for `CLP(ℤ)`
---

7bc7f0ad06e5b7fb64df1fb7d542f72c5e6f3942