From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 4 Jun 2021 00:32:48 +0000 (-0600)
Subject: Merge pull request #983 from triska/master
X-Git-Tag: v0.9.0~55
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=176daeec0314571b4aca3973601af7c65dc8b869;p=scryer-prolog.git

Merge pull request #983 from triska/master

check for correct domain of integers in reifiable expressions also in the expanded code
---

176daeec0314571b4aca3973601af7c65dc8b869