From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 19 Sep 2024 00:39:54 +0000 (-0600)
Subject: Merge pull request #2533 from hurufu/fix-warnings
X-Git-Tag: v0.10.0~113
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3fa6b69a79eeba6d1b6eb0628d90de9d55231a97;p=scryer-prolog.git

Merge pull request #2533 from hurufu/fix-warnings

Assorted small fixes
---

3fa6b69a79eeba6d1b6eb0628d90de9d55231a97