From: Mark Thom Date: Mon, 27 May 2024 18:07:27 +0000 (-0600) Subject: Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination X-Git-Tag: v0.10.0~133 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=96720457d0a5417ad9f8464774b8b815de543c9a;p=scryer-prolog.git Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination Fix warnings of dead code --- 96720457d0a5417ad9f8464774b8b815de543c9a