From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 29 Jan 2025 06:24:17 +0000 (-0700)
Subject: Merge pull request #2798 from bakaq/clippy_warnings
X-Git-Tag: v0.10.0~76
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c548b14f5028c0e6601575ca4d3ac5bfa67663f4;p=scryer-prolog.git

Merge pull request #2798 from bakaq/clippy_warnings

Fix clippy warnings
---

c548b14f5028c0e6601575ca4d3ac5bfa67663f4