From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 1 May 2020 16:41:43 +0000 (-0300)
Subject: Merge pull request #432 from triska/master
X-Git-Tag: v0.8.123~82
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b71ec91f57a756f10de0a48d27ae5f757116f3d9;p=scryer-prolog.git

Merge pull request #432 from triska/master

correct overeager CLP(ℤ) goal expansion
---

b71ec91f57a756f10de0a48d27ae5f757116f3d9