From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 5 Mar 2021 19:57:20 +0000 (-0700)
Subject: Merge pull request #858 from triska/master
X-Git-Tag: v0.9.0~134
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fa025bcf391991baa5a91c2307828d25492a1f9a;p=scryer-prolog.git

Merge pull request #858 from triska/master

CLP(B) correction
---

fa025bcf391991baa5a91c2307828d25492a1f9a