From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 10 Mar 2021 20:52:48 +0000 (-0700)
Subject: Merge pull request #861 from notoria/mod
X-Git-Tag: v0.9.0~132
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bc2d0191ff102b95cf34a7eb31784b12e998104c;p=scryer-prolog.git

Merge pull request #861 from notoria/mod

Small improvement for mod in CLP(Z)
---

bc2d0191ff102b95cf34a7eb31784b12e998104c