From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 3 Mar 2021 06:36:59 +0000 (-0700)
Subject: Merge pull request #851 from Skgland/fix_num_test2
X-Git-Tag: v0.9.0~141
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23cb743ce21e69973ce31f03f0f95e74596b706d;p=scryer-prolog.git

Merge pull request #851 from Skgland/fix_num_test2

Workaround to make num tests work
---

23cb743ce21e69973ce31f03f0f95e74596b706d