From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 2 Mar 2021 18:59:22 +0000 (-0700)
Subject: Merge pull request #849 from triska/master
X-Git-Tag: v0.9.0~142
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=73eb4079ef2d45543cf5406c3ce20b8f4c3ac135;p=scryer-prolog.git

Merge pull request #849 from triska/master

Remove duplicated definitions
---

73eb4079ef2d45543cf5406c3ce20b8f4c3ac135