From: Mark Thom Date: Thu, 23 Nov 2023 20:31:12 +0000 (+0100) Subject: Merge pull request #2179 from mthom/fix_stress_integration_test X-Git-Tag: v0.9.4~103 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=73ed08a412ed00428c3e9c1638a8033619c8051d;p=scryer-prolog.git Merge pull request #2179 from mthom/fix_stress_integration_test Fix stress integration test --- 73ed08a412ed00428c3e9c1638a8033619c8051d