From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 30 Jan 2021 20:55:05 +0000 (-0700)
Subject: Merge pull request #769 from notoria/between
X-Git-Tag: v0.9.0~157
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3b30c4d4877d8c1877f384e47d5067009706420c;p=scryer-prolog.git

Merge pull request #769 from notoria/between

Removed redundant choicepoint from between/3
---

3b30c4d4877d8c1877f384e47d5067009706420c