From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 4 Dec 2021 23:23:31 +0000 (-0700)
Subject: Merge pull request #1124 from triska/test_corrections
X-Git-Tag: v0.9.0~11
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e7a8950d09049e428044004b69079059f5faacbf;p=scryer-prolog.git

Merge pull request #1124 from triska/test_corrections

several corrections to test cases
---

e7a8950d09049e428044004b69079059f5faacbf