From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 1 Oct 2023 00:41:50 +0000 (-0600)
Subject: Merge pull request #2066 from bakaq/dif_tests
X-Git-Tag: remove~63
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c2218faf4749760e8a2b5568b0957df0ce33511b;p=scryer-prolog.git

Merge pull request #2066 from bakaq/dif_tests

Add tests for #2056
---

c2218faf4749760e8a2b5568b0957df0ce33511b